blob: 140d78e7f62112bc9eb2064f491f8a9cf0e30217 (
plain) (
tree)
|
|
package i1401
trait Subtractable[A, +Repr <: Subtractable[A, Repr]] {
def -(elem: A): Repr
}
trait BufferLike[BA, +This <: BufferLike[BA, This] with Buffer[BA]]
extends Subtractable[BA, This]
{ self : This =>
/* Without fix-#1401:
*
error: overriding method - in trait Subtractable of type (elem: A)This & i1401.Buffer[A];
method - of type (elem: BA)This has incompatible type
def -(elem: BA): This
^
one error found
*/
def -(elem: BA): This
}
trait Buffer[A] extends BufferLike[A, Buffer[A]]
|