{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.fallback_has_occurred.set(true);"}]}
        self.fallback_has_occurred.set(true);
        self.demand_eqtype(span, ty, fallback);
        true