/

/

Copy link to issue

summary

An invalid type annotation for a function with a record argument passes a type check

Description

Following code (unexpectedly) passes a type check.

Environment

Environment

None

Assignee

Assignee

Unassigned

Reporter

Reporter

import

Labels

Labels

None

Approval

Approval

None

Patch

Patch

None

Fix versions

Fix versions

Affects versions

Affects versions

Priority

Priority

Major