{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.diverges"}]}
                    self.diverges = Diverges::Always;
                if arms.is_empty() {
                    self.result.standard_types.never.clone()