PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function)

[AMatveev]

@jducoeur

I can see that forbidding certain sub-nestings isn’t going to work in the obvious block-based approaches.

I do not think it would be a problem with receiver function, and implicit argument if reciver function were support implicit val shadowing.
Something like:

DelayedInit or OnCreate, any solution?

@adriaanm I found a workaround for my issue. Library code package MyLib trait Post @scala.annotation.implicitAmbiguous("This definition may be called only post-construction") implicit object GeneralPost extends Post class Foo { implicit object ForceAmbiguity extends Post private lazy val _postConstruction = { //Something to be used once at Post-Construction 0 } def postConstruction(implicit post : Post) : Int = _postConstruction } User code new Foo {}.postConstruction //com…

But It is second task.
The first task is hierarchical scope management which allows increase cohesion.
IMHO: It is just simplify writing, support and using

• code
• documentation
• etc
  by several times
  (at least for my tasks )