{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"if"}]}
                        if let Some(e) = error {
                        let trace = mk_trace(provided_span, (formal_ty, expected_ty), provided_ty);
                            self.err_ctxt().note_type_err(