Module chalk_solve::clauses::builtin_traits::unsize

Structs

• ParameterOccurenceCheck 🔒
• UnsizeParameterCollector 🔒

Functions

• add_unsize_program_clauses
• auto_trait_ids 🔒
• outer_binder_parameters_used 🔒
• principal_id 🔒
• uses_outer_binder_params 🔒