diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala index 28afccd1ca43..bda2c25c26b8 100644 --- a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala +++ b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala @@ -172,10 +172,6 @@ trait QuotesAndSplices { getQuotedPatternTypeVariable(tree.name.asTypeName) match case Some(typeSym) => - checkExperimentalFeature( - "support for multiple references to the same type (without backticks) in quoted type patterns (SIP-53)", - tree.srcPos, - "\n\nSIP-53: https://docs.scala-lang.org/sips/quote-pattern-type-variable-syntax.html") warnOnInferredBounds(typeSym) ref(typeSym) case None => @@ -223,12 +219,6 @@ trait QuotesAndSplices { case LambdaTypeTree(_, body: TypeBoundsTree) => // ok case _ => report.error("Quote type variable definition cannot be an alias", tdef.srcPos) - if quoted.isType && untpdTypeVariables.nonEmpty then - checkExperimentalFeature( - "explicit type variable declarations quoted type patterns (SIP-53)", - untpdTypeVariables.head.srcPos, - "\n\nSIP-53: https://docs.scala-lang.org/sips/quote-pattern-type-variable-syntax.html") - if ctx.mode.is(Mode.InPatternAlternative) then for tpVar <- untpdTypeVariables do report.error(IllegalVariableInPatternAlternative(tpVar.name), tpVar.srcPos) diff --git a/tests/neg/sip-53-exprimental-a.scala b/tests/neg/sip-53-exprimental-a.scala deleted file mode 100644 index 1b2f5a24d8a9..000000000000 --- a/tests/neg/sip-53-exprimental-a.scala +++ /dev/null @@ -1,11 +0,0 @@ -//> using options -Yno-experimental - -import scala.quoted.* - -def foo(using Quotes): Unit = - (??? : Type[?]) match - case '[ (t, t, t) ] => // error // error - '{ ??? : Any } match - case '{ type u; $x: u } => // error - case '{ type u; ($ls: List[u]).map($f: u => Int) } => // error // error - diff --git a/tests/neg/sip-53-exprimental-b.scala b/tests/neg/sip-53-exprimental-b.scala deleted file mode 100644 index 0fb391c9cb5f..000000000000 --- a/tests/neg/sip-53-exprimental-b.scala +++ /dev/null @@ -1,10 +0,0 @@ -//> using options -Yno-experimental - -import scala.quoted.* - -def empty[K <: AnyKind : Type](using Quotes): Type[?] = - Type.of[K] match - case '[type t; `t`] => Type.of[t] // error - case '[type f[X]; `f`] => Type.of[f] // error - case '[type f[X <: Int, Y]; `f`] => Type.of[f] // error - case '[type k <: AnyKind; `k` ] => Type.of[k] // error