def foo(x: tc.range(1.0, 11.0)) -> tc.range(1.0, 21.0): return 2*x
def foo_unorderedtypes(x: tc.range(Unordered(), Unordered())): pass def test_enum1():
def foo(x: tc.range(1, 11)) -> tc.range(1, 21): return 2*x
def foo_highlow(x: tc.range(11, 1)): pass with expected(AssertionError):
def foo_typemix(x: tc.range(1, 11.0)): pass class Unordered:
def foo_unorderedtypes(x: tc.range(Unordered(), Unordered())): pass
def foo(x: tc.range("a", "b")): return x
def foo_typemix(x: tc.range(1, 11.0)): pass
def foo_highlow(x: tc.range(11, 1)): pass
def foo(x: tc.range(1.0, 11.0)) -> tc.range(1.0, 21.0): return 2 * x
def foo(x: tc.range(1, 11)) -> tc.range(1, 21): return 2 * x