We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dcc3822 commit a1a9cc5Copy full SHA for a1a9cc5
tests/patmat/gadt5.scala
@@ -79,7 +79,6 @@ object Try4 {
79
80
object Test {
81
def foo[N <: TNat, A, B](v1: Vect[N, A], v2: Vect[N, B]) =
82
- //Warnings expected here!
83
(v1, v2) match {
84
case (VN(), VN()) => 1
85
case (VC(x, xs), VC(y, ys)) => 2
0 commit comments