{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"//"}]}
        // of the query.
        // We only check for leaks from universes which were entered inside
        self.delegate.leak_check(self.max_input_universe).map_err(|NoSolution| {