diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-19 15:19:52 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-19 15:20:03 +0100 |
commit | 73d008317a6afaa0fea103ec0c84a39386f7d776 (patch) | |
tree | c310910675dae25f5bc24bf95fafd5b4ff6ed067 /tests/pos | |
parent | 53cd512eef8f9f28527e7c72d108359f0313d3f5 (diff) | |
download | dotty-73d008317a6afaa0fea103ec0c84a39386f7d776.tar.gz dotty-73d008317a6afaa0fea103ec0c84a39386f7d776.tar.bz2 dotty-73d008317a6afaa0fea103ec0c84a39386f7d776.zip |
Fix NoCyclicReference test
The problem was that, unlike a classDefSig, a higher-kinded typeDefSig did
not get a preset info with its type parameters. So any type-application
of the defined type in its bounds would fail.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/NoCyclicReference.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/NoCyclicReference.scala b/tests/pos/NoCyclicReference.scala new file mode 100644 index 000000000..e42896661 --- /dev/null +++ b/tests/pos/NoCyclicReference.scala @@ -0,0 +1,7 @@ +package test + +trait Iterable[+A] { self => + + type CC[B] <: Iterable[B] { type CC[C] = self.CC[C] } + +} |