Structs§
- Ambiguous
Assoc 🔒Item - Assoc
Item 🔒NotFound - Constant
Annotation 🔒Needed - 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 - Incorrect
Generics 🔒OnSort - Incorrect
Generics 🔒OnUser Defined Opaque Sort - Invalid
Assoc Reft - Invalid
Base 🔒Instance - Invalid
BitVector Constant - Invalid
Res 🔒 - Refine
ArgMismatch 🔒 - Refined
Unrefinable 🔒Type - TooFew
Generic 🔒Args - TooMany
Generic 🔒Args