{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"Some(rbv::ResolvedArg::Error(guar))"}]}
            Some(rbv::ResolvedArg::Error(guar)) => ty::Const::new_error(tcx, guar),
            ),
            arg => bug!("unexpected bound var resolution for {:?}: {arg:?}", path_hir_id),