File tree 1 file changed +0
-10
lines changed
compiler/src/dotty/tools/dotc/typer
1 file changed +0
-10
lines changed Original file line number Diff line number Diff line change @@ -172,10 +172,6 @@ trait QuotesAndSplices {
172
172
173
173
getQuotedPatternTypeVariable(tree.name.asTypeName) match
174
174
case Some (typeSym) =>
175
- checkExperimentalFeature(
176
- " support for multiple references to the same type (without backticks) in quoted type patterns (SIP-53)" ,
177
- tree.srcPos,
178
- " \n\n SIP-53: https://docs.scala-lang.org/sips/quote-pattern-type-variable-syntax.html" )
179
175
warnOnInferredBounds(typeSym)
180
176
ref(typeSym)
181
177
case None =>
@@ -223,12 +219,6 @@ trait QuotesAndSplices {
223
219
case LambdaTypeTree (_, body : TypeBoundsTree ) => // ok
224
220
case _ => report.error(" Quote type variable definition cannot be an alias" , tdef.srcPos)
225
221
226
- if quoted.isType && untpdTypeVariables.nonEmpty then
227
- checkExperimentalFeature(
228
- " explicit type variable declarations quoted type patterns (SIP-53)" ,
229
- untpdTypeVariables.head.srcPos,
230
- " \n\n SIP-53: https://docs.scala-lang.org/sips/quote-pattern-type-variable-syntax.html" )
231
-
232
222
if ctx.mode.is(Mode .InPatternAlternative ) then
233
223
for tpVar <- untpdTypeVariables do
234
224
report.error(IllegalVariableInPatternAlternative (tpVar.name), tpVar.srcPos)
You can’t perform that action at this time.
0 commit comments