Module generalize
rustc_
infer
1.85.0
(4d91de4e4 2025-02-17)
Module generalize
Module Items
Structs
In rustc_
infer::
infer::
relate
Modules
combine
generalize
higher_ranked
lattice
solver_relating
type_relating
Enums
StructurallyRelateAliases
VarianceDiagInfo
Traits
PredicateEmittingRelation
Relate
TypeRelation
Functions
relate_args_invariantly
relate_args_with_variances
structurally_relate_consts
structurally_relate_tys
Type Aliases
RelateResult
rustc_infer
::
infer
::
relate
Module
generalize
Copy item path
Settings
Help
Summary
Source
Structs
§
Generalization
🔒
Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.
Generalizer
🔒
The “generalizer” is used when handling inference variables.