diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-30 12:16:03 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 12:16:03 +0200 |
commit | f675ad9507089f8b912357fab86740653c1b8789 (patch) | |
tree | 66d8e6c3775795ed017a292accd6a4d146009e88 /tests/neg | |
parent | d89767858c4e3a7ad37d9a98ea1e87f58bd0eb02 (diff) | |
download | dotty-f675ad9507089f8b912357fab86740653c1b8789.tar.gz dotty-f675ad9507089f8b912357fab86740653c1b8789.tar.bz2 dotty-f675ad9507089f8b912357fab86740653c1b8789.zip |
Domain checking for named type parameters
Now verifies that the named type parameters of an overriding
type or class are the same as the named type parameters of
an overridden type.
Diffstat (limited to 'tests/neg')
-rw-r--r-- | tests/neg/named-params.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/neg/named-params.scala b/tests/neg/named-params.scala index 9ef4ed066..5a2375b15 100644 --- a/tests/neg/named-params.scala +++ b/tests/neg/named-params.scala @@ -32,3 +32,6 @@ object Test { val z5 = d2[Elem = Int][Value = String](1) //error // error } + + + |