mkdir /tmp/test-repro
cd /tmp/test-repro
uv venv
uv pip install klayout
echo "import klayout.db as kdb

from typing_extensions import reveal_type


def _(x: kdb.LayerInfo, y: kdb.LEFDEFReaderConfiguration):
    reveal_type(x)
    reveal_type(y)
" > main.py
uv run <red-knot-bin> check main.py

error: lint:invalid-type-form: Variable of type `Never` is not allowed in a type expression
 --> /tmp/test-repro/main.py:6:10
  |
6 | def _(x: kdb.LayerInfo):
  |          ^^^^^^^^^^^^^
7 |     reveal_type(x)
  |

info: revealed-type: Revealed type
 --> /tmp/test-repro/main.py:7:5
  |
6 | def _(x: kdb.LayerInfo):
7 |     reveal_type(x)
  |     ^^^^^^^^^^^^^^ `Unknown`
  |

Found 2 diagnostics