blob: 7a986d075c22fdffcb905ed46af2cabf66446479 (
plain)
1
2
3
4
5
6
7
8
9
|
// PR c++/106784
// { dg-do compile { target c++11 } }
// Make sure we don't reject this at runtime by trying to instantiate
// something that would be ill-formed.
struct A;
struct B { template<class T> B(const T&) noexcept { T::nonexistent; } };
static_assert(__is_convertible(const A&, B), "");
|