{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"assert_eq!(state.universe_map.len(),"}]}
        assert_eq!(state.universe_map.len(), 1);
        assert_eq!(state.var_values.len(), 0);
        debug_assert_eq!(&*state.universe_map, &[ty::UniverseIndex::ROOT]);