(injectDerivedValue: StringAdd).self
(injectDerivedValue: StringFormat).self
(injectDerivedValue: ArrowAssoc[Global.InjectDerivedValue]).x
(Since version 2.10.0) Use leftOfArrow
instead
(injectDerivedValue: Ensuring[Global.InjectDerivedValue]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Derived value class injection (equivalent to: new C(arg) after easure); only used during erasure The class C is stored as the symbol of the tree node.