Function rustc_lint::middle::infer::common_supertypeUnstable
[-] [+]
[src]
pub fn common_supertype(cx: &InferCtxt<'a, 'tcx>, origin: TypeOrigin, a_is_expected: bool, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> &'tcx TyS<'tcx>
Computes the least upper-bound of a
and b
. If this is not possible, reports an error and
returns ty::err.