Using single abstract methods for understandable scope injection

[soronpo]

Did you see my proposal regarding scope injection?

Proposal: Simple scope injection via import/export parameters

Motivation For motivation see: PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function) Proposal I propose that we can annotate an argument with the keywords import / export to cause an implied import/export of the annotated argument’s namespace inside the body of the method/class (arguments can be given or explicit). Classes Interaction The following code will be simply rewritten. Before Rewrite has import/export arguments class Scope { val a : Int = 0 } class ExtraS…

It handles your use-case perfectly (if it were implemented). All you would need is to write something like:
def b1(import f: DslB1): B1 =