diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-03-22 12:26:24 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 09:51:03 +0200 |
| commit | bbbb6620dabb2a247f74e4cdfbffd178654decba (patch) | |
| tree | f938106b509ad4b08b35f576ece6c7dade733aee /tests | |
| parent | 04be0341f8fc7a871914dcab4e359ce6890d36f4 (diff) | |
| download | dotty-bbbb6620dabb2a247f74e4cdfbffd178654decba.tar.gz dotty-bbbb6620dabb2a247f74e4cdfbffd178654decba.tar.bz2 dotty-bbbb6620dabb2a247f74e4cdfbffd178654decba.zip | |
Fix test case.
The intent is that Repr implementations should not bind the Out parameter.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/flowops1.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/pos/flowops1.scala b/tests/pos/flowops1.scala index 2acd515af..7cf8eb6ef 100644 --- a/tests/pos/flowops1.scala +++ b/tests/pos/flowops1.scala @@ -8,12 +8,12 @@ object Test { def map[T](f: Out => T): Repr[Out = T] = ??? } - class Source[type +Out, type +Mat] extends FO[Out, Mat] { - type Repr <: Source[Out, Mat] + class Source[type +Out, type +Mat] extends FO[Out, Mat] { self => + type Repr <: Source[Mat = self.Mat] } - class Flow[type -In, type +Out, type +Mat] extends FO[Out, Mat] { - type Repr <: Flow[In, Out, Mat] + class Flow[type -In, type +Out, type +Mat] extends FO[Out, Mat] { self => + type Repr <: Flow[In = self.In, Mat = self.Mat] } implicit class x[O, M, F <: FO](val f: F[Out = O, Mat = M]) extends AnyVal { |