{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"let"}]}
                let mut coerce = CoerceMany::new(expected.coercion_target_type(&mut self.table));
                let then_diverges = mem::replace(&mut self.diverges, Diverges::Maybe);
                coerce.coerce(self, Some(then_branch), &then_ty, CoercionCause::Expr(then_branch));