{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"Some(infcx.err_ctxt().report_and_explain_type_error("}]}
                Some(infcx.err_ctxt().report_and_explain_type_error(
            if let SubregionOrigin::Subtype(trace) = cause {
                    *trace,