Skip to content

Validation error: Wrong type #666

@lars-reimann

Description

@lars-reimann

Add type checking for

  • infix operations
  • prefix operations
  • arguments
  • default values
  • yields
  • indexed access

Metadata

Metadata

Assignees

Labels

releasedIncluded in a releasevalidation ✔️Improved or new static checks

Type

No type

Projects

Status

✔️ Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions