Closed as not planned
Description
int ducktypes to float, whacky alert!, add a Float type that doesn't ducktype.
def foo(f: Float): ...
foo(1) # invalid{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests