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.
scala · Aug 9, 2018 · a1e49b5 · a1e49b5
1 parent c1c724b
commit a1e49b5
Show file tree

Hide file tree

Showing 7 changed files with 297 additions and 270 deletions.
diff --git a/compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala b/compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala