layersMinted property

int layersMinted

Layers this pass had to create because a push* return type is non-nullable and the caller had none to reuse. Each one is parked in somebody else's field, which is a mutation of the live tree even though nothing is lost. The invariant is that this stays at zero.

Implementation

int layersMinted = 0;