Function rustc::middle::ty_relate::super_relate_tysUnstable
[-] [+]
[src]
pub fn super_relate_tys<'a, 'tcx, R>(relation: &mut R, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>> where R: TypeRelation<'a, 'tcx>
The main "type relation" routine. Note that this does not handle inference artifacts, so you should filter those out before calling it.