Fix #5494: Spurious unchecked warning when type testing an alias - #8808

Merged

liufengyun merged 19 commits into

scala:masterfrom

dotty-staging:dealias-type-test

Apr 29, 2020

Commits on Apr 27, 2020

Fix #5494: Spurious unchecked warning when type testing an alias
smarter
committed
aeeb14b
Fix type test warning involving applied types
smarter
committed
3991198
Add unchecked marks for technically unsafe type tests
smarter
committed
b1a9fd7

Commits on Apr 28, 2020

Move tests
liufengyun
committed
7e30d84
Handle GADT bounds in isInstanceOf type test
liufengyun
committed
d61eb85
Add test
liufengyun
committed
77bd0cc
Restore original spec
liufengyun
committed
891db3c
Add test for Tree | Context => Tree
liufengyun
committed
2531e18
Add missing variance annotation
liufengyun
committed
58f506b
Add test for Tree | (Context => Tree)
liufengyun
committed
10169b1
Fix unchecked warnings in compiler
liufengyun
committed
31c751f
Fix typo in comment
liufengyun
committed
77e96cd
Fix unchecked warning in language server
liufengyun
committed
b5ae277
Add more test case
liufengyun
committed
1cb965a
Add documentation for code
liufengyun
committed
2e028af

Commits on Apr 29, 2020