This is a SyntaxError: ``` >>> type X[T, T] = int File "<stdin>-0", line 1 SyntaxError: duplicate type parameter 'T' ``` But Ruff is fine with it. Similar to #11118.