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
|
Full Usage:
HoistArgumentsNotRecovered name
Parameters:
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.
|
Full Usage:
InstantiationNamedOnce name
Parameters:
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.
|
Full Usage:
IntersectionOperandNotHoisted name
Parameters:
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.
|
Instance members
| Instance member |
Description
|
Full Usage:
this.IsHoistArgumentsNotRecovered
Returns: bool
|
|
Full Usage:
this.IsInstantiationNamedOnce
Returns: bool
|
|
Full Usage:
this.IsIntersectionOperandNotHoisted
Returns: bool
|
|