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

Description

Following code (unexpectedly) passes a type check.

Environment

None

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Fix versions

Affects versions

Priority

Major