pattern matching analysis with inferred finality
adriaanm opened this issue · 2 comments
adriaanm commented
Not sure what this means, migrated from https://issues.scala-lang.org/browse/SI-8311
retronym commented
Perhaps I meant: if the user assumes a closed world for some subset of types, the compiler could mark some classes as "effectively final". This yields additional warnings for "fruitless type tests".
SethTisue commented
Abide is superseded by https://github.com/scalacenter/scalafix; closing all issues