captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
captures the scope and the value of the bindings in patterns important *when* the substitution happens (can't accumulate and do at once after the full matcher has been constructed)
(typeTestTreeMaker: StringAdd).self
(typeTestTreeMaker: StringFormat).self
(typeTestTreeMaker: ArrowAssoc[TypeTestTreeMaker]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeTestTreeMaker: Ensuring[TypeTestTreeMaker]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
implements the run-time aspects of (§8.2) (typedPattern has already done the necessary type transformations)
Type patterns consist of types, type variables, and wildcards. A type pattern T is of one of the following forms: