File tree Expand file tree Collapse file tree 2 files changed +5
-4
lines changed
compiler/src/dotty/tools/dotc/cc
presentation-compiler/test/dotty/tools/pc/tests/completion Expand file tree Collapse file tree 2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -230,17 +230,17 @@ extension (tp: Type)
230
230
* cannot be propagated between sets. If `a <: b` and `a` acquires `x?` then
231
231
* `x` is propagated to `b` as a conservative approximation.
232
232
*
233
- * Maybe capabilities should only arise for caoture sets that appear in invariant
234
- * position in their surrounding type. They are similar to TypeBunds types, but
233
+ * Maybe capabilities should only arise for capture sets that appear in invariant
234
+ * position in their surrounding type. They are similar to TypeBounds types, but
235
235
* restricted to capture sets. For instance,
236
236
*
237
237
* Array[C^{x?}]
238
238
*
239
- * should be morally equivaelent to
239
+ * should be morally equivalent to
240
240
*
241
241
* Array[_ >: C^{} <: C^{x}]
242
242
*
243
- * but it has fewer issues with type inference.
243
+ * but it has fewer issues with type inference.
244
244
*/
245
245
def maybe (using Context ): CaptureRef = tp match
246
246
case tp : CaptureRef if tp.isTrackableRef =>
Original file line number Diff line number Diff line change @@ -57,6 +57,7 @@ class CompletionPatternSuite extends BaseCompletionSuite:
57
57
""" |main scala
58
58
|macros - scala.languageFeature.experimental
59
59
|macroImpl - scala.reflect.macros.internal
60
+ |maybeCapability - scala.annotation.internal
60
61
|""" .stripMargin
61
62
)
62
63
You can’t perform that action at this time.
0 commit comments