Skip to content

Commit a1e49b5

Browse files
committed
Remove class tags from Tasty reflect interface
We found that when the implementation of those class tags uses the same class tags, type matches are unsound. Instead, we replace the more precise scrutinee by equivalent extractors. In the future, we intend to language support for abstract type pattern matching where the scrutinee can get a more precise type.
1 parent c1c724b commit a1e49b5

File tree

7 files changed

+297
-270
lines changed

7 files changed

+297
-270
lines changed

compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala

Lines changed: 103 additions & 80 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)