Skip to content

Commit ca9bd9e

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 84966d2 commit ca9bd9e

File tree

7 files changed

+298
-271
lines changed

7 files changed

+298
-271
lines changed

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

Lines changed: 104 additions & 81 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)