We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a58e89a commit 34ae62fCopy full SHA for 34ae62f
compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -1460,12 +1460,12 @@ trait Checking {
1460
|CanThrow capabilities can only be generated $req.""",
1461
pat.srcPos)
1462
1463
- /** Check that tree does not define a context fucntion type */
+ /** Check that tree does not define a context function type */
1464
def checkNoContextFunctionType(tree: Tree)(using Context): Unit =
1465
def recur(tp: Type): Unit = tp.dealias match
1466
case tp: HKTypeLambda => recur(tp.resType)
1467
case tp if defn.isContextFunctionType(tp) =>
1468
- report.error(em"context functon type cannot have opaque aliases", tree.srcPos)
+ report.error(em"context function type cannot have opaque aliases", tree.srcPos)
1469
case _ =>
1470
recur(tree.tpe)
1471
0 commit comments