Function rustc_middle::ty::relate::super_relate_tys

source · 
pub fn super_relate_tys<'tcx, R: TypeRelation<'tcx>>(
    relation: &mut R,
    a: Ty<'tcx>,
    b: Ty<'tcx>
) -> RelateResult<'tcx, Ty<'tcx>>
Expand description

The main “type relation” routine. Note that this does not handle inference artifacts, so you should filter those out before calling it.