[all-commits] [llvm/llvm-project] 02b6ed: [Clang] Added explanation why `is_constructible` e...

[Shamshura Egor via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 02b6ed0bf139518c704a2996418e66f3a93260a1
      https://github.com/llvm/llvm-project/commit/02b6ed0bf139518c704a2996418e66f3a93260a1
  Author: Shamshura Egor <164661612+egorshamshura at users.noreply.github.com>
  Date:   2025-06-13 (Fri, 13 Jun 2025)

  Changed paths:
    M clang/include/clang/Basic/DiagnosticSemaKinds.td
    M clang/lib/Sema/SemaTypeTraits.cpp
    M clang/test/CXX/drs/cwg18xx.cpp
    M clang/test/SemaCXX/overload-resolution-deferred-templates.cpp
    M clang/test/SemaCXX/type-traits-unsatisfied-diags-std.cpp
    M clang/test/SemaCXX/type-traits-unsatisfied-diags.cpp

  Log Message:
  -----------
  [Clang] Added explanation why `is_constructible` evaluated to false.  (#143309)

Added explanation why a is constructible evaluated to false. Also fixed
problem with ```ExtractTypeTraitFromExpression```. In case
```std::is_xxx_v<>``` with variadic pack it tries to get template
argument, but fails in expression ```Arg.getAsType()``` due to
```Arg.getKind() == TemplateArgument::ArgKind::Pack```, but not
```TemplateArgument::ArgKind::Type```.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications