| // { dg-additional-options -fmodules-ts } | |
| export module bill; | |
| // { dg-module-cmi bill } | |
| // Make sure no deferred parse exception spec detritus remains | |
| template<typename T> | |
| class bob | |
| { | |
| void frob () noexcept(T::frob ()); | |
| template<typename U> void frobber (int) noexcept (T::frob ()); | |
| }; | |
| class bill | |
| { | |
| template<typename U> void frobbest (int) noexcept (U::frob ()); | |
| }; |