File tree Expand file tree Collapse file tree 2 files changed +6
-6
lines changed
Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Original file line number Diff line number Diff line change 11conformance_automated = " Fail"
22conformant = " Partial"
33errors_diff = """
4- Lines 15, 16: Expected error (tag 'fun1-int ')
5- Lines 19, 20: Expected error (tag 'fun1-str ')
4+ Lines 15, 16: Expected error (tag 'fun1')
5+ Lines 19, 20: Expected error (tag 'fun2 ')
66Lines 49, 50: Expected error (tag 'method-str')
77Lines 53, 54: Expected error (tag 'method-bytes')
88"""
Original file line number Diff line number Diff line change @@ -12,12 +12,12 @@ def fun_2(x: T) -> T: # and here could be different
1212 return x
1313
1414# One of these two should pass; either is acceptable:
15- assert_type (fun_1 (1 ), int ) # E[fun1-int ]
16- assert_type (fun_1 (1 ), Literal [1 ]) # E[fun1-int ]
15+ assert_type (fun_1 (1 ), int ) # E[fun1]
16+ assert_type (fun_1 (1 ), Literal [1 ]) # E[fun1]
1717
1818# One of these two should pass; either is acceptable:
19- assert_type (fun_2 ("a" ), str ) # E[fun1-str ]
20- assert_type (fun_2 ("a" ), Literal ["a" ]) # E[fun1-str ]
19+ assert_type (fun_2 ("a" ), str ) # E[fun2 ]
20+ assert_type (fun_2 ("a" ), Literal ["a" ]) # E[fun2 ]
2121
2222# > A type variable used in a method of a generic class that coincides
2323# > with one of the variables that parameterize this class is always bound
You can’t perform that action at this time.
0 commit comments