diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 08:58:34 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2014-10-09 09:27:32 +0200 |
| commit | c12f2ea48e4cdf609a33c1d476c1a4e1d992a356 (patch) | |
| tree | 67f9c2ba5607f73470c1d35160088f3f66b7241f /tests/neg | |
| parent | e0b290c1e64a134633fc804ef1f9e54ccf17d25d (diff) | |
| download | dotty-c12f2ea48e4cdf609a33c1d476c1a4e1d992a356.tar.gz dotty-c12f2ea48e4cdf609a33c1d476c1a4e1d992a356.tar.bz2 dotty-c12f2ea48e4cdf609a33c1d476c1a4e1d992a356.zip | |
Simplify subtying test
Diffstat (limited to 'tests/neg')
| -rw-r--r-- | tests/neg/subtyping.scala | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tests/neg/subtyping.scala b/tests/neg/subtyping.scala index d7f849ddc..775246a37 100644 --- a/tests/neg/subtyping.scala +++ b/tests/neg/subtyping.scala @@ -4,10 +4,7 @@ class B { class A extends B object Test { - def foo(a: A#X): Unit = { - return; - } def test(): Unit = { - foo(??? : B#X); + implicitly[B#X <:< A#X] } } |