// Opaque handle to the shared depth-first tinfo_t walker driving an extern "Rust" TypeWalkVisitor
// (namespace bridge). Recursion is guarded by a placeholder plus a `defined`-set dedup, so a
// self-referential type (e.g. a struct pointing at itself) resolves instead of looping; emitting
// happens through the cxx opaque visitor's member functions. Its full definition lives in
// typewalk_bridge.cpp, which is compiled in the cxx bridge (with the generated visitor header on
// its include path); the ctree walk (ctree_bridge.cpp) is a plain facade TU without that path, so
// it drives the walker only through this opaque handle. One walker per type source (a named type, a
// prototype, a whole ctree), so shared named types dedup across it.
#ifndef TYPE_WALKER_H
#define TYPE_WALKER_H
#include <cstdint>
// tinfo_t lives in the global namespace (typeinf.hpp); forward-declared so this header needs no SDK
// or cxx-generated include.
class tinfo_t;
namespace bridge {
struct visit_walker_t;
// Create a walker driving `visitor` (an opaque bridge::TypeWalkVisitor*), released with
// visit_walker_free.
visit_walker_t *visit_walker_new(void *visitor);
// Walk `t` into the visitor, returning the handle it minted for the type.
uint32_t visit_walker_ty(visit_walker_t *walker, const tinfo_t &t);
// Release a walker created by visit_walker_new; the handle must not be used again after this.
void visit_walker_free(visit_walker_t *walker);
} // namespace bridge
#endif // TYPE_WALKER_H