Skip to content

Commit 064a240

Browse files
committed
Some more posishings
1 parent affc77b commit 064a240

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

compiler/src/dotty/tools/dotc/cc/CaptureOps.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ extension (tp: Type)
103103
case tp: TypeRef if tp.symbol == defn.Caps_CapSet =>
104104
// This can happen in cases where we try to type an eta expansion `$x => f($x)`
105105
// from a polymorphic target type using capture sets. In that case the parameter type
106-
// of $x is not treated as inferred is approximated to CapSet. An example is
106+
// of $x is not treated as inferred and is approximated to CapSet. An example is
107107
// capset-problem.scala. We handle these cases by appromxating to the empty set.
108108
Nil
109109
case _ =>

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2004,7 +2004,7 @@ class CheckCaptures extends Recheck, SymTransformer:
20042004
c.origin match
20052005
case Origin.Parameter(param) =>
20062006
report.error(
2007-
em"Local $c created in type of $param leaks into capture scope of ${ownerStr(param.owner)}",
2007+
em"Local $c created in type of $param leaks into capture scope${param.owner.qualString("of")}",
20082008
tree.srcPos)
20092009
case _ =>
20102010
check(c.hiddenSet)

0 commit comments

Comments
 (0)