odersky

@natsukagami I noted that the last example typechecks if the type of collector is given explicitly: ```scala val collector: Collector[T]{val futures: Seq[Future[T]^{fs*}]} = Collector(fs) ```

@Linyxus I need some more explanations why this is unsound. The typeckecked example is here: ```scala @SourceFile("leak-problem.scala") final module class leak-problem$package() extends Object() { private[this] type $this = leak-problem$package.type private...

@natsukagami Should be fixed by latest commit

@natsukagami Should be fixed by latest commits

@natsukagami Latest problems should be fixed now. Let's see what you come up with next!

@bracevac ``` -- [E007] Type Mismatch Error: local/dsl.scala:14:12 --------------------------- 13 | prog[Int => Int]: 14 | lam(x => x) | ^ | Found: DSL.this.Now[box Int => Int] | Required: DSL.this.Now[Int...

@natsukagami The latest example you have is not supposed to compile. What I could do is add some way to give a hint why it failed: ```scala 15 | col.add(Future(()...

@bracevac Your latest problem should be fixed with last commit. > Simply importing language.experimental.captureChecking appears to break conformance checks The conformance check was done by the capture checker. And that...

@natsukagami For the latest example, maybe you could try explicit capture set polymorphism?

@bracevac I think it would be good to get this merged soon. We are getter further and further away from the main branch, in a good way.