Module errors

Source

Structsยง

AmbiguousAssocType ๐Ÿ”’
AssocTypeNotFound ๐Ÿ”’
ExpectedType ๐Ÿ”’
FailToMatchPredicates ๐Ÿ”’
FieldsOnReflectedEnumVariant ๐Ÿ”’
GenericArgCountMismatch ๐Ÿ”’
GenericsOnForeignTy ๐Ÿ”’
GenericsOnPrimTy ๐Ÿ”’
GenericsOnPrimitiveSort ๐Ÿ”’
GenericsOnSelf ๐Ÿ”’
GenericsOnSelfTy ๐Ÿ”’
GenericsOnSortTyParam ๐Ÿ”’
GenericsOnTyParam ๐Ÿ”’
GenericsOnUserDefinedOpaqueSort ๐Ÿ”’
IncorrectGenericsOnSort ๐Ÿ”’
InvalidAssocReft
InvalidBaseInstance ๐Ÿ”’
InvalidBitVectorConstant
InvalidPosition ๐Ÿ”’
RefineArgMismatch ๐Ÿ”’
RefinedUnrefinableType ๐Ÿ”’
TooFewGenericArgs ๐Ÿ”’
TooManyGenericArgs ๐Ÿ”’