[−][src]Function rustc_typeck::collect::predicates_from_bound
fn predicates_from_bound<'tcx>(
astconv: &AstConv<'tcx, 'tcx>,
param_ty: Ty<'tcx>,
bound: &GenericBound
) -> Vec<Predicate<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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 0 predicates (T:?Sized
adds no
predicates) to 1 (T:Foo
) to many (T:Bar<X=i32>
adds T:Bar
and <T as Bar>::X == i32
).