diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 09:25:21 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 10:17:08 +0200 |
commit | bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774 (patch) | |
tree | f25697fd5da92ea49b284dab50a73c0e0ea56f43 /tests/neg/subtyping.scala | |
parent | c12f2ea48e4cdf609a33c1d476c1a4e1d992a356 (diff) | |
download | dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.tar.gz dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.tar.bz2 dotty-bec85a90dda4c8488e3bbc47bfd0c64c6c3ed774.zip |
Fix subtyping of types without symbols
Diffstat (limited to 'tests/neg/subtyping.scala')
-rw-r--r-- | tests/neg/subtyping.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/neg/subtyping.scala b/tests/neg/subtyping.scala index 775246a37..a4a5a3d19 100644 --- a/tests/neg/subtyping.scala +++ b/tests/neg/subtyping.scala @@ -4,7 +4,11 @@ class B { class A extends B object Test { - def test(): Unit = { + def test1(): Unit = { implicitly[B#X <:< A#X] } + def test2(): Unit = { + val a : { type T; type U } = ??? + implicitly[a.T <:< a.U] + } } |