There are two key methods in here.
(methodSynthesis: StringAdd).self
(methodSynthesis: StringFormat).self
(methodSynthesis: ArrowAssoc[MethodSynthesis]).x
(Since version 2.10.0) Use leftOfArrow
instead
(methodSynthesis: Ensuring[MethodSynthesis]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Logic related to method synthesis which involves cooperation between Namer and Typer.