Add call site causing MatchError that Fengyun hinted at

Blaisorblade · Blaisorblade · commit ab0a7c3df90c · 2018-02-15T21:08:53.000+01:00
diff --git a/tests/patmat/gadt5.scala b/tests/patmat/gadt5.scala
@@ -64,6 +64,8 @@ object Try3 {
         case (VN(), VN())           => 1
         case (VC(x, xs), VC(y, ys)) => 2
       }
+    //a call-site which would cause a MatchError (maybe that error should be tested)
+    def bar = foo[TZero | TSucc[_], Int, String](VN(), VC("", VN()))
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,8 @@ object Try3 {`
`64`	`64`	`case (VN(), VN()) => 1`
`65`	`65`	`case (VC(x, xs), VC(y, ys)) => 2`
`66`	`66`	`}`
	`67`	`+ //a call-site which would cause a MatchError (maybe that error should be tested)`
	`68`	`+ def bar = foo[TZero \| TSucc[_], Int, String](VN(), VC("", VN()))`
`67`	`69`	`}`
`68`	`70`	`}`
`69`	`71`