{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"if"}]}
                    if let Err(terr) =
                    let promoted_ty = promoted_body.return_ty();
                        self.eq_types(ty, promoted_ty, locations, ConstraintCategory::Boring)