You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We currently do not distinguish subtype relations from compatibility relations. This causes problems like #2031. We should separate out subtyping from compatibility checks.
The text was updated successfully, but these errors were encountered:
There is is_proper_subtype which was intended as a real subtype check, but it's only partially implemented and it's apparently not used anywhere any more.
I'd recommend calling the function is_compatible instead of is_compatible_with, to be consistent with the current naming convention (for example, we have is_subtype instead of is_subtype_of or similar).
is_proper_subtype is now a separate thing and used in various places, including in union simplification checks, so I'm closing this issue. If there are remaining issues we can create separate issues and refer to this as needed.
We currently do not distinguish subtype relations from compatibility relations. This causes problems like #2031. We should separate out subtyping from compatibility checks.
The text was updated successfully, but these errors were encountered: