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 19605ee commit 6f9046cCopy full SHA for 6f9046c
compiler/src/dotty/tools/dotc/typer/Inferencing.scala
@@ -186,7 +186,7 @@ object Inferencing {
186
// This foils the `isExactlyNothing` test in `hasLowerBound` and
187
// therefore makes the new type variable have a lower bound. That way,
188
// we favor in `apply` below instantiating from below to `Nothing` instead
189
- // of from above to `Any`. That avoids a spurious flip of the roginal `Nothing`
+ // of from above to `Any`. That avoids a spurious flip of the original `Nothing`
190
// instance to `Any`. See i21275 for a test case.
191
newTypeVar(bounds, nestingLevel = tvar.nestingLevel)
192
else if t.symbol.is(ModuleClass) then
tests/pos/i21725.scala renamed to tests/pos/i21275.scala
0 commit comments