Module rustc_traits::type_op
source · Functions§
- provide π
- type_op_eq π
- type_op_normalize π
- type_op_normalize_ty π
- The core of the
type_op_prove_predicate
query: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless youβre in that very specific context. - type_op_subtype π