Module builtin

Check properties that are required by built-in traits and set up data structures required by type-checking/codegen.

Structs

• Checker 🔒

Functions

• check_trait 🔒
• coerce_unsized_info 🔒
• infringing_fields_error 🔒
• visit_implementation_of_coerce_unsized 🔒
• visit_implementation_of_const_param_ty 🔒
• visit_implementation_of_copy 🔒
• visit_implementation_of_dispatch_from_dyn 🔒
• visit_implementation_of_drop 🔒