Function rustc::ty::relate::super_relate_tys [] [src]

pub fn super_relate_tys<'a, 'gcx, 'tcx, R>(relation: &mut R,
                                           a: Ty<'tcx>,
                                           b: Ty<'tcx>)
                                           -> RelateResult<'tcx, Ty<'tcx>> where R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a + 'tcx, 'tcx: 'a
🔬 This is a nightly-only experimental API. (rustc_private)

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