(typeTreeWithDeferredRefCheck: StringAdd).self
(typeTreeWithDeferredRefCheck: StringFormat).self
(typeTreeWithDeferredRefCheck: ArrowAssoc[Global.TypeTreeWithDeferredRefCheck]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeTreeWithDeferredRefCheck: Ensuring[Global.TypeTreeWithDeferredRefCheck]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
emitted by typer, eliminated by refchecks