Skip to content

Check: Lower type parameter bound is assignable to upper type parameter bound #875

@lars-reimann

Description

@lars-reimann

Is your feature request related to a problem?

The lower bound of a type parameter must be assignable to its upper bound. Otherwise, there would be no type to satisfy both bounds.

Desired solution

Check this and show an error if the bounds are not compatible.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response

Metadata

Metadata

Assignees

Labels

releasedIncluded in a releasevalidation ✔️Improved or new static checks

Type

No type

Projects

Status

✔️ Done

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions