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_pointee_validity 🔒

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 🔒

visit_implementation_of_pointer_like 🔒