chalk_solve
0.97.0-dev.0
Module unsize
Structs
Functions
In chalk_solve::clauses::builtin_traits
?
Module
chalk_solve
::
clauses
::
builtin_traits
::
unsize
source
·
[
−
]
Structs
§
ParameterOccurenceCheck
🔒
UnsizeParameterCollector
🔒
Functions
§
add_unsize_program_clauses
auto_trait_ids
🔒
outer_binder_parameters_used
🔒
principal_id
🔒
uses_outer_binder_params
🔒