It seems important to have type equality be consistent with hashCode
This probably means that we can't simply use Type.equals for type equivalence checking. Propose something like Type.equiv(Context, t) for this. We presumably need a Context here because types may depend on other types.
It seems important to have type equality be consistent with hashCode
This probably means that we can't simply use
Type.equalsfor type equivalence checking. Propose something like Type.equiv(Context, t) for this. We presumably need a Context here because types may depend on other types.