package pkg
sealed trait Base
case object Sub extends pkg.Base
would incorrectly yield:
[warn] /tmp/linter/src/main/scala/Test.scala:3: [UnextendedSealedTrait] This sealed trait is never extended
[warn] sealed trait Base
[warn] ^
[warn] one warning found
Changing extends pkg.Base to extends Base would fix the lint error. Using the full name is sometimes necessary to prevent ambiguity.
Linting the following code:
would incorrectly yield:
Changing
extends pkg.Base
toextends Base
would fix the lint error. Using the full name is sometimes necessary to prevent ambiguity.