[clang] [Clang][Sema] Fix a bug on type constraint checking (PR #84671)

[Erich Keane via cfe-commits]

================
@@ -0,0 +1,16 @@
+// RUN: %clang_cc1 -std=c++20 -verify %s
+// RUN: %clang_cc1 -std=c++23 -verify %s
+// expected-no-diagnostics
+
+template<class T> concept IsOk = requires() { typename T::Float; };
+
+template<IsOk T> struct Thing;
+
+template<IsOk T> struct Foobar {
----------------
erichkeane wrote:

Indenting here doesn't match our clang-format rules. Please fix that.

https://github.com/llvm/llvm-project/pull/84671