rustc_
infer
1.83.0-beta.6
(4ff8ff0ec 2024-11-16)
Module generalize
Module Items
Structs
In rustc_
infer::
infer::
relate
rustc_infer
::
infer
::
relate
Module
generalize
Copy item path
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.