1 // RUN: %clang_cc1 -std=c++11 -verify %s -pedantic
5 struct X
{ int n
= 0; } x
;
6 // Trigger construction of X() from a SFINAE context. This must not mark
7 // any part of X as invalid.
8 static_assert(!__is_constructible(X
), "");
9 // Check that X::n is not marked invalid.
10 double &r
= x
.n
; // expected-error {{non-const lvalue reference to type 'double' cannot bind to a value of unrelated type 'int'}}
12 // A::X can now be default-constructed.
13 static_assert(__is_constructible(A::X
), "");