Fix tests

Author: quartox

test-data/unit/check-functions.test

@@ -2075,11 +2075,29 @@ def f(x: AnyStr, y: AnyStr) -> None: pass
 def g(x: AnyStr, y: AnyStr, z: int) -> None: pass
 f('a', 'b')
 f(b'a', b'b')
-f('a', b'b') # E: Type arguments of "f" have incompatible values with expected ('AnyStr', 'AnyStr') \
+f('a', b'b') # E: Type arguments of "f('AnyStr', 'AnyStr')" have incompatible values \
 # N: "AnyStr" arguments must be all "str" or all "bytes"
 g('a', 'b', 1)
-g('a', b'b', 1) # E: Type arguments of "g" have incompatible values with expected ('AnyStr', 'AnyStr', 'int') \
+g('a', b'b', 1) # E: Type arguments of "g('AnyStr', 'AnyStr', 'int')" have incompatible values \
 # N: "AnyStr" arguments must be all "str" or all "bytes"
-g('a', b'b', 'c') # E: Type arguments of "g" have incompatible values with expected ('AnyStr', 'AnyStr', 'int') \
+g('a', b'b', 'c') # E: Type arguments of "g('AnyStr', 'AnyStr', 'int')" have incompatible values \
 # N: "AnyStr" arguments must be all "str" or all "bytes" \
 # E: Argument 3 to "g" has incompatible type "str"; expected "int"
+
+[case testUnionAnyStrIncompatibleArguments]
+from typing import TypeVar, Union
+AnyStr = TypeVar('AnyStr', bytes, str)
+def f(x: Union[AnyStr, int], y: AnyStr) -> None: pass
+f('a', 'b')
+f(1, 'b')
+f('a', b'b') # E: Type arguments of "f('Union[AnyStr, int]', 'AnyStr')" have incompatible values \
+# N: "AnyStr" arguments must be all "str" or all "bytes"
+
+[case testStarAnyStrIncompatibleArguments]
+from typing import TypeVar, Union
+AnyStr = TypeVar('AnyStr', bytes, str)
+def f(*x: AnyStr) -> None: pass
+f('a')
+f('a', 'b')
+f('a', b'b') # E: Type arguments of "f('AnyStr')" have incompatible values \
+# N: "AnyStr" arguments must be all "str" or all "bytes"

test-data/unit/check-inference.test

@@ -750,10 +750,12 @@ AnyStr = TypeVar('AnyStr', bytes, str)
 def f(x: Union[AnyStr, int], *a: AnyStr) -> None: pass
 f('foo')
 f('foo', 'bar')
-f('foo', b'bar') # E: Type argument 1 of "f" has incompatible value "object"
+f('foo', b'bar') # E: Type arguments of "f('Union[AnyStr, int]', 'AnyStr')" have incompatible values \
+# N: "AnyStr" arguments must be all "str" or all "bytes"
 f(1)
 f(1, 'foo')
-f(1, 'foo', b'bar') # E: Type argument 1 of "f" has incompatible value "object"
+f(1, 'foo', b'bar') # E: Type arguments of "f('Union[AnyStr, int]', 'AnyStr')" have incompatible values \
+# N: "AnyStr" arguments must be all "str" or all "bytes"
 [builtins fixtures/primitives.pyi]
 
 

test-data/unit/check-overloading.test

@@ -998,11 +998,12 @@ def g(x: int, *a: AnyStr) -> None: pass
 
 g('foo')
 g('foo', 'bar')
-g('foo', b'bar') # E: Type arguments of "g" have incompatible values with expected ('AnyStr', 'AnyStr') \
+g('foo', b'bar') # E: Type arguments of "g('AnyStr', 'AnyStr')" have incompatible values \
 # N: "AnyStr" arguments must be all "str" or all "bytes"
 g(1)
 g(1, 'foo')
-g(1, 'foo', b'bar') # E: Type argument 1 of "g" has incompatible value "object"
+g(1, 'foo', b'bar') # E: Type arguments of "g('int', 'AnyStr')" have incompatible values \
+# N: "AnyStr" arguments must be all "str" or all "bytes"
 [builtins fixtures/primitives.pyi]
 
 [case testBadOverlapWithTypeVarsWithValues]

test-data/unit/pythoneval.test

@@ -1251,7 +1251,7 @@ re.subn(bpat, b'', b'')[0] + b''
 re.subn(bre, lambda m: b'', b'')[0] + b''
 re.subn(bpat, lambda m: b'', b'')[0] + b''
 [out]
-_program.py:7: error: Type arguments of "search" have incompatible values with expected ('AnyStr', 'AnyStr', 'int')
+_program.py:7: error: Type arguments of "search('AnyStr', 'AnyStr', 'int')" have incompatible values
 _program.py:7: note: "AnyStr" arguments must be all "str" or all "bytes"
 _program.py:9: error: Cannot infer type argument 1 of "search"
 
@@ -1276,7 +1276,7 @@ re.subn(spat, '', '')[0] + ''
 re.subn(sre, lambda m: '', '')[0] + ''
 re.subn(spat, lambda m: '', '')[0] + ''
 [out]
-_program.py:7: error: Type arguments of "search" have incompatible values with expected ('AnyStr', 'AnyStr', 'int')
+_program.py:7: error: Type arguments of "search('AnyStr', 'AnyStr', 'int')" have incompatible values
 _program.py:7: note: "AnyStr" arguments must be all "str" or all "bytes"
 _program.py:9: error: Cannot infer type argument 1 of "search"