Skip to content

is_subtype is not separate from is_compatible_with #2038

Closed
@ddfisher

Description

@ddfisher

We currently do not distinguish subtype relations from compatibility relations. This causes problems like #2031. We should separate out subtyping from compatibility checks.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions