Add some more tests for version-specific behavior

Author: odersky

tests/neg/i20415.scala

@@ -0,0 +1,2 @@
+class Foo:
+  given ord: Ordering[Int] = summon[Ordering[Int]] // error

tests/neg/i6716-source-3.4.scala

@@ -0,0 +1,19 @@
+//> using options -Xfatal-warnings -source 3.4
+
+trait Monad[T]:
+  def id: String
+class Foo
+object Foo {
+  given Monad[Foo] with { def id = "Foo" }
+}
+
+opaque type Bar = Foo
+object Bar {
+  given Monad[Bar] = summon[Monad[Foo]] // warn
+}
+
+object Test extends App {
+  println(summon[Monad[Foo]].id)
+  println(summon[Monad[Bar]].id)
+}
+// nopos-error: No warnings can be incurred under -Werror (or -Xfatal-warnings)

tests/pos/given-loop-prevention.scala

@@ -0,0 +1,14 @@
+//> using options -Xfatal-warnings -source 3.4
+
+class Foo
+
+object Bar {
+  given Foo with {}
+  given List[Foo] = List(summon[Foo]) // ok
+}
+
+object Baz {
+  @annotation.nowarn
+  given List[Foo] = List(summon[Foo]) // gives a warning, which is suppressed
+  given Foo with {}
+}