[−][src]Function rustc_mir::borrow_check::nll::type_check::relate_tys::relate_type_and_user_type
pub(super) fn relate_type_and_user_type<'tcx>(
infcx: &InferCtxt<'_, '_, 'tcx>,
a: Ty<'tcx>,
v: Variance,
b: CanonicalTy<'tcx>,
locations: Locations,
borrowck_context: Option<&mut BorrowCheckContext<'_, 'tcx>>
) -> Fallible<()>
🔬 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?
Adds sufficient constraints to ensure that a <: b
, where b
is
a user-given type (which means it may have canonical variables
encoding things like _
).