[][src]Function rustc_typeck::collect::predicates_from_bound

fn predicates_from_bound<'tcx>(
    astconv: &dyn AstConv<'tcx>,
    param_ty: Ty<'tcx>,
    bound: &'tcx GenericBound
) -> Vec<(Predicate<'tcx>, Span)>
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Converts a specific GenericBound from the AST into a set of predicates that apply to the self type. A vector is returned because this can be anywhere from zero predicates (T: ?Sized adds no predicates) to one (T: Foo) to many (T: Bar<X = i32> adds T: Bar and <T as Bar>::X == i32).