diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-16 18:34:36 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-08-20 20:31:13 -0700 |
commit | e5315cce416c665d7c6d2740d171343829b30f4c (patch) | |
tree | 95a6c77e958a0cdc779e02408c6848d36254b9f4 /tests/neg/traitParamsTyper.scala | |
parent | 5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795 (diff) | |
download | dotty-e5315cce416c665d7c6d2740d171343829b30f4c.tar.gz dotty-e5315cce416c665d7c6d2740d171343829b30f4c.tar.bz2 dotty-e5315cce416c665d7c6d2740d171343829b30f4c.zip |
Fix #1444: Add implicit arguments to supertraits
If a super trait is given as a type (i.e. no argument list), implicit args were
not passed. This is fixed now. Also, we now check for parameterized traits lacking
type arguments in Typer instead of in Mixin.
Fixes #1444.
Diffstat (limited to 'tests/neg/traitParamsTyper.scala')
-rw-r--r-- | tests/neg/traitParamsTyper.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/neg/traitParamsTyper.scala b/tests/neg/traitParamsTyper.scala index e97906b50..c4b612033 100644 --- a/tests/neg/traitParamsTyper.scala +++ b/tests/neg/traitParamsTyper.scala @@ -2,6 +2,8 @@ trait T(x: Int) { def f = x } +class C extends T // error + class C(x: Int) extends T() // error trait U extends C with T |