Projects
Filters
Dashboards
Apps
Create
core.typed
Classic software project
Board
Reports
Issues
Components
Projects
/
core.typed
/
CTYP-279
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
Open
Assignee
Assignee
Unassigned
Reporter
Reporter
import
Labels
Labels
None
Approval
Approval
None
Patch
Patch
None
Fix versions
Fix versions
Backlog
Affects versions
Affects versions
0.3.11
Priority
Priority
Major
Show 4 more fields
Time tracking, Time tracking, Components and Due date
Configure