rustc_middle::traits::query

Module type_op

Source

Structsยง

AscribeUserType
DeeplyNormalize
Normalizes, and deeply normalizes in the new solver.
DropckOutlives
Eq
ImpliedOutlivesBounds
Normalize
Normalizes, but not in the new solver.
ProvePredicate
Subtype