{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"this.dominators"}]}
        this.dominators = Some(graph::dominators::dominators(&this));
        // Set the dominators first, because later init steps rely on them.