type Self for trait B { self: C =>

[DmytroMitin]

Think whether for

trait B { self: C =>
}

type Self should be

type Self >: self.type <: B with C { type This = self.This }

[DmytroMitin]

C with B because C can be class