// RUN: %clang_cc1 -triple=x86_64 -fsyntax-only -std=c++20 -ffp-exception-behavior=strict -verify %s
// expected-no-diagnostics

template <class T> struct S {
  template <class U> using type1 = decltype([] { return U{}; });
};

void foo() {
  using T1 = S<int>::type1<int>;
  int x = T1()();
}