Skip to content

Commit 350cfa2

Browse files
oderskybishabosha
andauthored
Apply suggestions from code review
Co-authored-by: Jamie Thompson <[email protected]>
1 parent 5688adc commit 350cfa2

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

compiler/src/dotty/tools/dotc/typer/Typer.scala

+2-2
Original file line numberDiff line numberDiff line change
@@ -1163,7 +1163,7 @@ class Typer extends Namer
11631163

11641164
/** The parameter type for a parameter in a lambda that does
11651165
* not have an explicit type given, and where the type is not known from the context.
1166-
* In this case the paranmeter type needs to be inferred the "target type" T known
1166+
* In this case the parameter type needs to be inferred the "target type" T known
11671167
* from the callee `f` if the lambda is of a form like `x => f(x)`.
11681168
* If `T` exists, we know that `S <: I <: T`.
11691169
*
@@ -1175,7 +1175,7 @@ class Typer extends Namer
11751175
* 2. Otherwise, if the target type `T` can be fully defined under ForceDegree.flipBottom,
11761176
* pick this one.
11771177
*
1178-
* If both attempts fail, issue a "missing parameter type" error.
1178+
* If both attempts fail, return `NoType`.
11791179
*/
11801180
def inferredFromTarget(
11811181
param: untpd.ValDef, formal: Type, calleeType: Type, paramIndex: Name => Int)(using Context): Type =

0 commit comments

Comments
 (0)