{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
                    // More than false/true/unreachable gets extra cost.
                } else if targets.all_targets().len() > 3 {
                    self.penalty += LARGE_SWITCH_PENALTY;