The problem was that the default opinion on type constraints is that if
we didn't know what else to do, we said they're the same. Instead, since
it seems easy to make two "equal" types, we should fix it to be not-equal
by default.
return if $other->has_parent;
}
- return 1;
+ return;
}
sub is_a_type_of {