{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"if"}]}
                if !self.diverges.get().is_always()
                // "found type" here, rather than the "expected type".
                    || matches!(self.diverging_block_behavior, DivergingBlockBehavior::Unit)