[clang] [Clang][test] Relocate concepts regression test to concepts-subsumption.cpp NFC (PR #215762)

Shengxin Pei via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 12 02:33:08 PDT 2026


https://github.com/TPPPP72 updated https://github.com/llvm/llvm-project/pull/215762

>From 0e9bd8c69a13edb8db1ce86dc64bd5e93fa7786a Mon Sep 17 00:00:00 2001
From: Shengxin Pei <TPPPP72 at outlook.com>
Date: Wed, 12 Aug 2026 17:32:53 +0800
Subject: [PATCH] [Clang][test] Relocate concepts regression test to
 concepts-subsumption.cpp NFC

---
 clang/test/SemaCXX/GH106182.cpp             | 16 ----------------
 clang/test/SemaCXX/concepts-subsumption.cpp | 16 ++++++++++++++++
 2 files changed, 16 insertions(+), 16 deletions(-)
 delete mode 100644 clang/test/SemaCXX/GH106182.cpp

diff --git a/clang/test/SemaCXX/GH106182.cpp b/clang/test/SemaCXX/GH106182.cpp
deleted file mode 100644
index f82064bff27e9..0000000000000
--- a/clang/test/SemaCXX/GH106182.cpp
+++ /dev/null
@@ -1,16 +0,0 @@
-// RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s
-// expected-no-diagnostics
-
-template <class Fn> struct A {
-  constexpr A(Fn) {};
-};
-
-template <template <class> class S>
- void create_unique()
-   requires (S{0}, true);
-
-template <template <class> class S>
- void create_unique()
-   requires (S{0}, true) {}
-
-template void create_unique<A>();
diff --git a/clang/test/SemaCXX/concepts-subsumption.cpp b/clang/test/SemaCXX/concepts-subsumption.cpp
index d00a8b973cb91..d6691891467a6 100644
--- a/clang/test/SemaCXX/concepts-subsumption.cpp
+++ b/clang/test/SemaCXX/concepts-subsumption.cpp
@@ -147,6 +147,22 @@ constexpr int foo(Z auto y) { return 30; }
 static_assert(foo(0) == 30);
 }
 
+namespace GH106182 {
+template <class Fn> struct A {
+  constexpr A(Fn) {};
+};
+
+template <template <class> class S>
+void create_unique()
+  requires (S{0}, true);
+
+template <template <class> class S>
+void create_unique()
+  requires (S{0}, true) {}
+
+template void create_unique<A>();
+}
+
 namespace WhateverThisIs {
 template <typename T> concept C0 = true;
 template <typename T> concept C1 = true;



More information about the cfe-commits mailing list