### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
// Begin of Foo (from "<...>/coercion.hlt")
// Compiled by HILTI version X.X.X

#include <hilti/rt/compiler-setup.h>

#include <hilti/rt/libhilti.h>

extern uint64_t __hlt_hlto_scope;

namespace __hlt::type_info { namespace {
    extern const ::hilti::rt::TypeInfo __ti_tuple_a__uint_64___b__string__tuplex2auint64_string_x2b;
} }

namespace __hlt::Foo {
    static auto f() -> ::hilti::rt::Tuple<::hilti::rt::integer::safe<uint64_t>, std::string>;
    extern void __init_module();
    extern void __register_module();
}

namespace __hlt::type_info { namespace {
    const ::hilti::rt::TypeInfo __ti_tuple_a__uint_64___b__string__tuplex2auint64_string_x2b = { {}, "tuple<a: uint<64>, b: string>", [](const void *self) { return hilti::rt::to_string(*reinterpret_cast<const ::hilti::rt::Tuple<::hilti::rt::integer::safe<uint64_t>, std::string>*>(self)); }, new ::hilti::rt::type_info::Tuple(std::vector<::hilti::rt::type_info::tuple::Element>({::hilti::rt::type_info::tuple::Element{ "a", &::hilti::rt::type_info::uint64, ::hilti::rt::Tuple<::hilti::rt::integer::safe<uint64_t>, std::string>::elementOffset<0>() }, ::hilti::rt::type_info::tuple::Element{ "b", &::hilti::rt::type_info::string, ::hilti::rt::Tuple<::hilti::rt::integer::safe<uint64_t>, std::string>::elementOffset<1>() }})) };
} }

HILTI_PRE_INIT(__hlt::Foo::__register_module)

extern void __hlt::Foo::__init_module() {
      __location__("<...>/coercion.hlt:14:1-14:17");
    ::hilti::rt::print(f(), &type_info::__ti_tuple_a__uint_64___b__string__tuplex2auint64_string_x2b, ::hilti::rt::Bool(true));
}

extern void __hlt::Foo::__register_module() {
    ::hilti::rt::Library::setScope(&__hlt_hlto_scope);
    ::hilti::rt::detail::registerModule({ "Foo", __hlt_hlto_scope, &__init_module, nullptr, nullptr, nullptr});
}

static auto __hlt::Foo::f() -> ::hilti::rt::Tuple<::hilti::rt::integer::safe<uint64_t>, std::string> {
    ::hilti::rt::detail::checkStack();
      __location__("<...>/coercion.hlt:11:5-11:24");
    return ::hilti::rt::tuple::make_from_optionals(::hilti::rt::optional::make(::hilti::rt::integer::safe<std::uint64_t>{123U}), ::hilti::rt::optional::make("abc"s));
}

