search

DmytroMitin / AUXify

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Apache License 2.0
28 stars 3 forks source link

type Self for trait B { self: C => #29

Open DmytroMitin opened 5 years ago

DmytroMitin commented 5 years ago

Think whether for

trait B { self: C =>
}

type Self should be

type Self >: self.type <: B with C { type This = self.This }
DmytroMitin commented 4 years ago

C with B because C can be class