Skip to content

Commit 0984706

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 a4a611c commit 0984706

File tree

7 files changed

+299
-271
lines changed

7 files changed

+299
-271
lines changed

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

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

0 commit comments

Comments
 (0)