[clang] [Clang] Diagnose unsatisfied `std::is_assignable`. (PR #144836)

[Corentin Jabot via cfe-commits]

================
@@ -99,6 +127,14 @@ static_assert(std::is_trivially_copyable_v<int&>);
 // expected-note at -1 {{'int &' is not trivially copyable}} \
 // expected-note at -1 {{because it is a reference type}}
 
+static_assert(std::is_assignable<int&, int>::value);
+
+static_assert(std::is_assignable<int&, void>::value);
+// expected-error-re at -1 {{static assertion failed due to requirement 'std::{{.*}}is_assignable<int &, void>::value'}} \
+// expected-error at -1 {{assigning to 'int' from incompatible type 'void'}}
----------------
cor3ntin wrote:

@Sirraide 

https://github.com/llvm/llvm-project/pull/144836