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

Relates a and b structurally, calling the relation for all nested values. Any semantic equality, e.g. of unevaluated consts, and inference variables have to be handled by the caller.

FIXME: This is not totally structual, which probably should be fixed. See the HACKs below.