Function rustc_hir_analysis::collect::predicates_of::gather_explicit_predicates_of

source · 
fn gather_explicit_predicates_of(
    tcx: TyCtxt<'_>,
    def_id: DefId
) -> GenericPredicates<'_>
Expand description

Returns a list of user-specified type predicates for the definition with ID def_id. N.B., this does not include any implied/inferred constraints.