blob: 7a3cbec0f4ff0dd4e30b02de85a5eea601b442b3 (
plain) (
tree)
|
|
object Test{
trait ZW[S]{type T}
def ZipWith[S, M <: ZW[S]]: M#T = sys.error("ZW")
// meh must be parameterised to force an asSeenFrom that
// duplicates the refinement in the TR's pre without updating its sym
def meh[A] = ZipWith[A, ZW[A]{type T=Stream[A]}]
meh[Int]: Stream[Int]
}
// debugging output in coevolveSym should say:
// coevolved type T#11029 : Stream#3234[A#9228] to type T#11277 : Stream#3234[A#9227]
// with Test.ZW#9219[A#9228]{type T#11029 = Stream#3234[A#9228]} -> Test.ZW#9219[A#9227]{type T#11277 = Stream#3234[A#9227]}
|