How to translate this C++ function template?

[bluetarpmedia]

I'm trying to translate the example C++ code from cppreference.com's priority_queue into Cpp2 but I've encountered some problems with this function template:

template <typename Adaptor>
    requires (std::ranges::input_range<typename Adaptor::container_type>)
void print(std::string_view name, const Adaptor& adaptor)
{
    struct Printer : Adaptor // to access protected Adaptor::Container c;
    {
        void print(std::string_view name) const { ::print_container(name, this->c); }
    };
 
    static_cast<Printer const&>(adaptor).print(name);
}

1. I can't find a way to inject typename as required for this expression: requires (std::ranges::input_range<typename Adaptor::container_type>).
   I think this is logged as [BUG] Can't pass dependent type template argument #727. Any ideas for a workaround?

2. This isn't a big deal but the Printer type cannot currently be nested:
   error: (temporary alpha limitation) a type must be in a namespace or type scope - function-local types are not yet supported.

3. I can't find a way to translate the static_cast. The Cpp2 as cast attempts a dynamic_cast which subsequently fails.

This is my current best effort:

// Using C++ for the concept in order to use `typename`
template <typename Adaptor>
concept adaptor_container = requires()
{
    typename Adaptor::container_type;
};

Printer: <Adaptor> type = {
    this: Adaptor;
    print: (this, name: std::string_view) = {
        ::print_container(name, this.c);  // This is a function defined elsewhere
    }
}

print: <Adaptor>(name: std::string_view, adaptor: Adaptor)
    requires (adaptor_container<Adaptor>)
= {
    // Need a cast here, but neither of these work:
    // cpp2::unsafe_narrow<Printer<Adaptor>>(adaptor).print(name);
    // (adaptor as Printer<Adaptor>).print(name);
}

Full code on Godbolt

Current published version on cpp2reference

Thanks!