
template <class T>
struct A
{
  ~A() = delete;
};

template <class T>
auto h() -> A<T>;
template <class T>
auto i(T) -> T;
template <class T>
auto f(T) -> decltype(i(h<T>()));
template <class T>
auto f(T) -> void;
auto g() -> void
{
  f(42);
}