Function rustc::middle::infer::mk_subtyExperimental
[-]
[+]
[src]
pub fn mk_subty<'a, 'tcx>(cx: &InferCtxt<'a, 'tcx>, a_is_expected: bool, origin: TypeOrigin, a: Ty<'tcx>, b: Ty<'tcx>) -> ures<'tcx>