That one gave a double definition of R which caused problems later.

odersky · odersky · commit ddfdc5416531 · 2020-12-15T09:23:12.000+01:00
diff --git a/scala3doc-testcases/src/tests/givenDRI.scala b/scala3doc-testcases/src/tests/givenDRI.scala
@@ -23,7 +23,7 @@ given [S <: C]: A[S] with {}
 class R:
   def a = 1
 
-given R: A[Int] with
+given RR: A[Int] with
   def a = 2
 
 class S:
