Add and fix missing testcases with with

Author: Blaisorblade

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -835,7 +835,7 @@ object Parsers {
         if (ctx.settings.strict.value)
           deprecationWarning(DeprecatedWithOperator())
         in.nextToken()
-        AndTypeTree(t, withType())
+        AndTypeTree(checkWildcard(t), checkWildcard(withType()))
       }
       else t
 

tests/neg/i4373.scala

@@ -5,6 +5,13 @@ class X1[A >: _ | X1[_]] // error
 class X2[A >: _ & X2[_]] // error
 class X3[A >: X3[_] | _] // error
 class X4[A >: X4[_] & _] // error
+class X5[A >: _ with X5[_]] // error
+class X6[A >: X6[_] with _] // error
+
+// From 28752b8fb9b6db06fff4c606c3a402dc12b0ee06.scala:
+object i7 {
+  val i8: i0[Int] = classOf[Nothing, _ with i5]()
+}
 
 class A1 extends _ // error
 class A2 extends _ with _ // error // error