A generic type argument accepts a tuple #2063
Description
Describe the Bug
*Memo:
- pyrefly check
- pyrefly 0.46.1
- Python 3.14.0
A generic type argument accepts a tuple as shown below:
# ↓↓↓↓↓↓
v1: list[(int,)]
v1 = [0, 1, 2] # No error
v1 = ['A', 'B', 'C'] # Error
# ↓↓↓↓↓↓
v2: list[(str,)]
v2 = [0, 1, 2] # Error
v2 = ['A', 'B', 'C'] # No error # ↓↓↓↓↓↓↓↓↓↓
v1: tuple[(int, ...)]
v1 = (0, 1, 2) # No error
v1 = ('A', 'B', 'C') # Error
# ↓↓↓↓↓↓↓↓↓↓
v2: tuple[(str, ...)]
v2 = (0, 1, 2) # Error
v2 = ('A', 'B', 'C') # No errorSandbox Link
No response
(Only applicable for extension issues) IDE Information
No response