Logo Xantham

SynthesizeAnonymous Type

`shape-interfaces`. `synthesize-anonymous`. Wave two, lane A: the pass had no findings of its own, because until the `three` recon nothing had measured what it does to a shape that reaches itself - 518 declarations and 369,116 lines, stopped only by the depth cutoff.

Union cases

Union case Description

HoistArgumentsNotRecovered name

Full Usage: HoistArgumentsNotRecovered name

Parameters:
    name : string

The runaway's honest answer where the above cannot be taken. Pre-declared as `SelfReferentialHoistRefused`, on the assumption that polymorphic `this` would be the condition; the pass that landed guards something broader - an instantiation whose type arguments could not be recovered by unification, of which the `this` chain is one case. Renamed to say that, because it fires nowhere in the corpus today and a message that misdescribes its own guard is worth less than no message at all.

name : string

InstantiationNamedOnce name

Full Usage: InstantiationNamedOnce name

Parameters:
    name : string

A hoisted anonymous shape that is an instantiation of a declaration this run already named: the reference is written to that declaration instead of minting another name.

name : string

IntersectionOperandNotHoisted name

Full Usage: IntersectionOperandNotHoisted name

Parameters:
    name : string

Wave three, lane J. One operand of an intersection resists hoisting while the others are named, so the reference carries the named operands and widens the rest.

name : string

Instance members

Instance member Description

this.IsHoistArgumentsNotRecovered

Full Usage: this.IsHoistArgumentsNotRecovered

Returns: bool
Returns: bool

this.IsInstantiationNamedOnce

Full Usage: this.IsInstantiationNamedOnce

Returns: bool
Returns: bool

this.IsIntersectionOperandNotHoisted

Full Usage: this.IsIntersectionOperandNotHoisted

Returns: bool
Returns: bool

Type something to start searching.