Structs§
- ArgCount
Mismatch 🔒 - Cannot
Infer 🔒Sort - Constructor
Missing 🔒Fields - Duplicate
Field 🔒Used - Duplicated
Ensures 🔒 - Expected
Fun 🔒 - Field
NotFound 🔒 - Invalid
Cast 🔒 - Invalid
Param 🔒Pos - Invalid
Primitive 🔒DotAccess - Missing
Ensures 🔒 - Param
Count 🔒Mismatch - Param
NotDetermined 🔒 - Sort
Annotation 🔒Needed - Sort
Mismatch 🔒 - Unexpected
Constructor 🔒 - Unexpected
Fun 🔒 - Unsupported
Prim 🔒Op