Update compiler/src/dotty/tools/dotc/parsing/Parsers.scala

KacperFKorban · WojciechMazur · web-flow · commit 8cb0d7cdec0a · 2024-11-25T12:38:32.000+01:00
Co-authored-by: Wojciech Mazur &lt;wojciech.mazur95@gmail.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -3491,7 +3491,7 @@ object Parsers {
           val hkparams = typeParamClauseOpt(ParamOwner.Hk)
           val bounds =
             if paramOwner.acceptsCtxBounds then typeAndCtxBounds(name)
-            else if paramOwner == ParamOwner.Type then typeAndCtxBounds(name)
+            else if sourceVersion.isAtLeast(`3.6`) && paramOwner == ParamOwner.Type then typeAndCtxBounds(name)
             else typeBounds()
           TypeDef(name, lambdaAbstract(hkparams, bounds)).withMods(mods)
         }

Original file line number	Diff line number	Diff line change
`@@ -3491,7 +3491,7 @@ object Parsers {`
`3491`	`3491`	`val hkparams = typeParamClauseOpt(ParamOwner.Hk)`
`3492`	`3492`	`val bounds =`
`3493`	`3493`	`if paramOwner.acceptsCtxBounds then typeAndCtxBounds(name)`
`3494`		`- else if paramOwner == ParamOwner.Type then typeAndCtxBounds(name)`
	`3494`	+ else if sourceVersion.isAtLeast(`3.6`) && paramOwner == ParamOwner.Type then typeAndCtxBounds(name)
`3495`	`3495`	`else typeBounds()`
`3496`	`3496`	`TypeDef(name, lambdaAbstract(hkparams, bounds)).withMods(mods)`
`3497`	`3497`	`}`