No way to specify encapsulation modifier for given params of given classes

[anatoliykmetyuk]

minimized code

scala> trait Bar { type Y }
// defined trait Bar

scala> trait Foo { type X }
// defined trait Foo


scala> given as Foo given (b: Bar) { type X = b.Y }
1 |given as Foo given (b: Bar) { type X = b.Y }
  |                                   ^
  |           non-private type X in class Foo_given refers to private value b
  |           in its type signature  = Foo_given.this.b.Y

scala> given as Foo given (val b: Bar) { type X = b.Y }
1 |given as Foo given (val b: Bar) { type X = b.Y }
  |                    ^^^
  |                    an identifier expected, but 'val' found

Workaround:

scala> given as Foo given (b: Bar) = new Foo { type X = b.Y }
def Foo_given given (b: Bar): Foo

expectation

I'd like to use the nicer syntax without the workaround.

[nicolasstucki]

With updated syntax

trait Bar { type Y }
trait Foo { type X }

given a(using val b: Bar) as Foo { type X = b.Y }

6 |given a(using val b: Bar) as Foo { type X = b.Y }
  |              ^^^
  |              an identifier expected, but 'val' found