Skip to content

Commit 6093dab

Browse files
committed
Drop Caps_Exists handling and deprecate caps.Exists
1 parent 399b220 commit 6093dab

File tree

3 files changed

+1
-2
lines changed

3 files changed

+1
-2
lines changed

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -399,7 +399,6 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
399399
def defaultApply(t: Type) =
400400
if t.derivesFromCapability
401401
&& !t.isSingleton
402-
&& t.typeSymbol != defn.Caps_Exists
403402
&& (!sym.isConstructor || (t ne tp.finalResultType))
404403
// Don't add ^ to result types of class constructors deriving from Capability
405404
then CapturingType(t, defn.universalCSImpliedByCapability, boxed = false)

compiler/src/dotty/tools/dotc/core/Definitions.scala

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1003,7 +1003,6 @@ class Definitions {
10031003
@tu lazy val Caps_reachCapability: TermSymbol = CapsModule.requiredMethod("reachCapability")
10041004
@tu lazy val Caps_readOnlyCapability: TermSymbol = CapsModule.requiredMethod("readOnlyCapability")
10051005
@tu lazy val Caps_capsOf: TermSymbol = CapsModule.requiredMethod("capsOf")
1006-
@tu lazy val Caps_Exists: ClassSymbol = requiredClass("scala.caps.Exists")
10071006
@tu lazy val CapsUnsafeModule: Symbol = requiredModule("scala.caps.unsafe")
10081007
@tu lazy val Caps_unsafeAssumePure: Symbol = CapsUnsafeModule.requiredMethod("unsafeAssumePure")
10091008
@tu lazy val Caps_unsafeAssumeSeparate: Symbol = CapsUnsafeModule.requiredMethod("unsafeAssumeSeparate")

library/src/scala/caps.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,7 @@ import annotation.{experimental, compileTimeOnly, retainsCap}
5555
*
5656
* (x: Exists) => A ->{x} B
5757
*/
58+
@deprecated
5859
sealed trait Exists extends Capability
5960

6061
/** This should go into annotations. For now it is here, so that we

0 commit comments

Comments
 (0)