Fix test i20317

Author: hamzaremmal

tests/neg/i20317.check

@@ -0,0 +1,31 @@
+-- Error: tests/neg/i20317.scala:3:10 ----------------------------------------------------------------------------------
+3 |def foo[A <: Foo[A]]: Unit = () // error
+  |          ^
+  |          Recursion limit exceeded.
+  |          Maybe there is an illegal cyclic reference?
+  |          If that's not the case, you could also try to increase the stacksize using the -Xss JVM option.
+  |          For the unprocessed stack trace, compile with -Xno-decode-stacktraces.
+  |          A recurring operation is (inner to outer):
+  |
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]
+  |            type parameters of A
+  |            type parameters of A
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]
+  |            type parameters of A
+  |            type parameters of A
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]
+  |            ...
+  |
+  |            type parameters of A
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]
+  |            type parameters of A
+  |            type parameters of A
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]
+  |            type parameters of A
+  |            type parameters of Foo[A]
+  |            type parameters of  <: Foo[A]

tests/neg/i20317.scala

@@ -1,3 +1,3 @@
 type Foo[A] = A
 
-def foo[A <: Foo[A]]: Unit = () // error // error
+def foo[A <: Foo[A]]: Unit = () // error