1 // Test for deduction based on transaction_safe.
2 // { dg-options "-fgnu-tm -std=c++11" }
4 void f() transaction_safe;
7 template <class T> struct A;
8 template <class R, class...Ps>
9 struct A<R (Ps...) transaction_safe> { };
12 A<decltype(g)> b; // { dg-error "incomplete" }