We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0db8ad3 commit 5dd58bfCopy full SHA for 5dd58bf
compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -3808,8 +3808,6 @@ class Typer extends Namer
3808
mapOver(tp)
3809
}
3810
3811
- val sym = tree.tpe.widen.classSymbol
3812
-
3813
// Is it certain that a value of `tree.tpe` is never a subtype of `pt`?
3814
// It is true if either
3815
// - the class of `tree.tpe` and class of `pt` cannot have common subclass, or
0 commit comments