Structsยง
- Ambiguous
Assoc ๐Type - Assoc
Type ๐NotFound - Expected
Type ๐ - Fail
ToMatch ๐Predicates - Fields
OnReflected ๐Enum Variant - Generic
ArgCount ๐Mismatch - Generics
OnForeign ๐Ty - Generics
OnPrim ๐Ty - Generics
OnPrimitive ๐Sort - Generics
OnSelf ๐ - Generics
OnSelf ๐Ty - Generics
OnSort ๐TyParam - Generics
OnTy ๐Param - Generics
OnUser ๐Defined Opaque Sort - Incorrect
Generics ๐OnSort - Invalid
Assoc Reft - Invalid
Base ๐Instance - Invalid
BitVector Constant - Invalid
Position ๐ - Refine
ArgMismatch ๐ - Refined
Unrefinable ๐Type - TooFew
Generic ๐Args - TooMany
Generic ๐Args