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
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Unassigned

Reporter

import