Module rustc_traits::type_op[−][src]

Structs

AscribeUserTypeCx

Functions

provide
type_op_ascribe_user_type
type_op_eq
type_op_normalize
type_op_normalize_fn_sig
type_op_normalize_poly_fn_sig
type_op_normalize_predicate
type_op_normalize_ty
type_op_prove_predicate
type_op_subtype