6fe135c536
Regression test for https://github.com/astral-sh/ty/issues/2243 Reduced to 20 lines. The crash requires this specific combination: 1. A TypeVar with a forward-reference union bound 2. A Callable type alias using that TypeVar 3. A Protocol using Self returning another Protocol with that TypeVar 4. A subclass Protocol inheriting from the parent with the TypeVar 5. Another Protocol using ExprT (bounded by forward ref) in a method
Markdown files within the mdtest/ subdirectory are tests of type inference and type checking;
executed by the tests/mdtest.rs integration test.
See crates/ty_test/README.md for documentation of this test format.