1 // RUN: %clang_cc1 -std=c++11 -verify %s -pedantic
2 
3 namespace PR31692 {
4   struct A {
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'}}
11   };
12   // A::X can now be default-constructed.
13   static_assert(__is_constructible(A::X), "");
14 }
15