================
@@ -73,3 +73,20 @@ Trait<Y> t;
 // expected-note@#gh51866-one{{partial specialization matches}}
 // expected-note@#gh51866-two{{partial specialization matches}}
 }
+
+namespace GH27357 {
+struct S {
+  using type = int;
+};
+
+// T is used in a non-deduced context and has no value, so deduction fails in
+// both directions ([temp.deduct.partial]p12).
----------------
cor3ntin wrote:

Both!

https://github.com/llvm/llvm-project/pull/229024
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to