pub fn structurally_relate_consts<I, R>(
relation: &mut R,
a: Const<I>,
b: Const<I>,
) -> Result<Const<I>, TypeError<I>>where
I: Interner,
R: TypeRelation<I>,Expand description
Relates a and b structurally, calling the relation for all nested values.
Any semantic equality, e.g. of alias consts, and inference variables have
to be handled by the caller.
FIXME: This is not totally structural, which probably should be fixed. See the HACKs below.