// RUN: %clang_cc1 -std=c++20 -verify %s // RUN: %clang_cc1 -std=c++23 -verify %s // expected-no-diagnostics template concept IsOk = requires() { typename T::Float; }; template struct Thing; template struct Foobar { template struct Inner { template friend struct Thing; }; }; struct MyType { using Float=float; }; Foobar::Inner<0> foobar;