fn type_category(tcx: TyCtxt<'_>, t: Ty<'_>) -> Option<u32>
Expand description

returns the fuzzy category of a given type, or None if the type can be equated to any type.