{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"err"}]}
                        err = self.err_ctxt().report_and_explain_type_error(
                        // so don't do anything special here.
                            mk_trace(