{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"mk_trace(provided_span,"}]}
                mk_trace(provided_span, formal_and_expected_inputs[*expected_idx], provided_ty);
            let trace =
            if !matches!(trace.cause.as_failure_code(*e), FailureCode::Error0308) {