Hi! I am using explicit capture polymorphism for a project heavily, and I am trying to use capture set type variables and self-type to define a type that captures something without storing it. As an example, something like this should work in my understanding of capture sets and self-type: class A[CS^]: self: A[CS^]^ => end A @main def main(): Unit = val a: A[{}]^ = A[{}] // should be `A[{cap}]` but the compiler didn't allow it val b = A[{a}] I am expecting the compiler to infer that A...
