Function rustc::middle::typeck::infer::mk_subty[src]

pub fn mk_subty(cx: &InferCtxt, a_is_expected: bool, origin: TypeOrigin, a: t, b: t) -> ures