{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                        // We can get here without an error in miri-unleashed mode... might as well
                        self.check_op(ops::FnCallIndirect);
                        // skip the rest of the checks as well then.