public boolean equiv(final Type other, final EquivState state) {
final Type otherDeref = other.deref();
if (otherDeref instanceof TypeParam) {
final TypeParam otherParam = (TypeParam) otherDeref;
return state.matchParam(this, otherParam);
}
return false;
}
