Function rustc_middle::ty::relate::super_relate_tys[−][src]

pub fn super_relate_tys<R: TypeRelation<'tcx>, '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.