# Function rustc_hir_analysis::collect::predicates_defined_on

source ·

    fn predicates_defined_on(
        tcx: TyCtxt<'_>,
        def_id: DefId
    ) -> GenericPredicates<'_>

Expand description

Returns a list of type predicates for the definition with ID `def_id`, including inferred lifetime constraints. This includes all predicates returned by `explicit_predicates_of`, plus inferred constraints concerning which regions outlive other regions.