Repository navigation

Fix crash on `ErasedType` and `covers_at_runtime` - #11924

Merged

JukkaL merged 5 commits into

python:masterfrom

sobolevn:issue-11913

Jan 7, 2022

Merged

Fix crash on `ErasedType` and `covers_at_runtime`#11924
JukkaL merged 5 commits into
python:masterfrom
sobolevn:issue-11913

Commits on Jan 6, 2022
- Fix crash on `ErasedType` and `covers_at_runtime`, refs #11913
  sobolevn
  committed
  83f40e7
- Fixes CI
  sobolevn
  committed
  ad5d73a
- Return `ErasedType` from `erase_type`
  sobolevn
  committed
  21ec5d4
- Merge branch 'master' into issue-11913
  sobolevn
  authored
  13e1d8c
- Update test-data/unit/check-inference.test
  
  sobolevn
  and
  hauntsaninja
  authored
  3c3ecbb