{"ast_node_type":"other","tokens":[{"end":103,"kind":"keyword","start":0,"text":"//"}]}
                        // Only look at sources if the then branch diverges and we have an else branch.
                    if last_then_expr_ty.is_never() {
                        let source_map = db.body_with_source_map(self.owner).1;