Skip to content

self type shouldn't be able to have type parameters #2422

@msullivan

Description

@msullivan

Since the change in issue #2372 which made self just a normal type, the typechecker should reject type parameters on the self type.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions