Function rustc_middle::ty::relate::super_relate_consts

source · [−]

pub fn super_relate_consts<'tcx, R: TypeRelation<'tcx>>(
    relation: &mut R,
    a: Const<'tcx>,
    b: Const<'tcx>
) -> RelateResult<'tcx, Const<'tcx>>

Expand description

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