Compiler should reject type as its own lower bound

[scabug]

According to SLS, 4.3 'Type Declarations and Type Aliases':

It is also an error if an abstract type is directly or indirectly its own upper or lower bound.

trait A
{
	type T[S[_]] >: T[S]
}

Actual: this code compiles successfully with 2.7.2.RC2

Expected: compile-time error

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-1372?orig=1
Reporter: Vladimir Reshetnikov (nikov)

[SethTisue]

Welcome to Scala 3.2.2 (17.0.6, Java OpenJDK 64-Bit Server VM).
                                                                                                    
scala> trait A
     | {
     |  type T[S[_]] >: T[S]
     | }
-- [E140] Cyclic Error: --------------------------------------------------------
3 |	type T[S[_]] >: T[S]
  |	     ^
  |illegal cyclic type reference: lower bound ... of type T refers back to the type itself
1 error found