Add neg test

Author: odersky

tests/neg/i7613.check

@@ -0,0 +1,8 @@
+-- Error: tests/neg/i7613.scala:10:16 ----------------------------------------------------------------------------------
+10 |  new BazLaws[A] {}  // error // error
+   |                ^
+   |         no implicit argument of type Baz[A] was found for parameter x$1 of constructor BazLaws in trait BazLaws
+-- Error: tests/neg/i7613.scala:10:2 -----------------------------------------------------------------------------------
+10 |  new BazLaws[A] {}  // error // error
+   |  ^
+   |  no implicit argument of type Bar[A] was found for parameter x$1 of constructor BarLaws in trait BarLaws

tests/neg/i7613.scala

@@ -0,0 +1,11 @@
+trait Foo[A]
+trait Bar[A] extends Foo[A]
+trait Baz[A] extends Bar[A]
+
+trait FooLaws[A](using Foo[A])
+trait BarLaws[A](using Bar[A]) extends FooLaws[A]
+trait BazLaws[A](using Baz[A]) extends BarLaws[A]
+
+def instance[A](using Foo[A]): BazLaws[A] =
+  new BazLaws[A] {}  // error // error
+