-
Notifications
You must be signed in to change notification settings - Fork 1.7k
Closed
Labels
addressed in next versionIssue is fixed and will appear in next published versionIssue is fixed and will appear in next published versionenhancement requestNew feature or requestNew feature or requestspec compliance
Description
The typing spec conformance tests were recently updated to test that a type checker emits an error when someone attempts to assign a type created with NewType
to a value declared as type
. I'm not sure why someone would ever attempt to do this, but it is technically disallowed by the spec.
UserId = NewType("UserId", int)
_: type = UserId
Metadata
Metadata
Assignees
Labels
addressed in next versionIssue is fixed and will appear in next published versionIssue is fixed and will appear in next published versionenhancement requestNew feature or requestNew feature or requestspec compliance