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 048151d commit d71d682Copy full SHA for d71d682
compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1961,7 +1961,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
1961
// Try to instantiate `pt` when possible.
1962
// * If `pt` is a type variable, we try to instantiate it directly.
1963
// * If `pt` is a more complex type, we try to instantiate it deeply by searching
1964
- // a nested type variable bounded by function types to help infer parameter types.
+ // a nested type variable bounded by a function type to help infer parameter types.
1965
// If it does not work the error will be reported later in `inferredParam`,
1966
// when we try to infer the parameter type.
1967
pt match
0 commit comments