[all-commits] [llvm/llvm-project] e476f9: [libc++][Clang] Added explanation why is_construct...

[Shamshura Egor via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e476f968bc8e438a0435d10934f148de570db8eb
      https://github.com/llvm/llvm-project/commit/e476f968bc8e438a0435d10934f148de570db8eb
  Author: Shamshura Egor <164661612+egorshamshura at users.noreply.github.com>
  Date:   2025-07-08 (Tue, 08 Jul 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
    M libcxx/test/libcxx/utilities/expected/expected.expected/and_then.mandates.verify.cpp
    M libcxx/test/libcxx/utilities/expected/expected.expected/or_else.mandates.verify.cpp
    M libcxx/test/libcxx/utilities/expected/expected.expected/value.observers.verify.cpp
    M libcxx/test/libcxx/utilities/expected/expected.void/and_then.mandates.verify.cpp
    M libcxx/test/std/containers/sequences/array/array.creation/to_array.verify.cpp
    M libcxx/test/std/containers/views/mdspan/mdspan/conversion.verify.cpp
    M libcxx/test/std/utilities/function.objects/func.bind.partial/bind_back.verify.cpp
    M libcxx/test/std/utilities/function.objects/func.bind_front/bind_front.verify.cpp

  Log Message:
  -----------
  [libc++][Clang] Added explanation why is_constructible evaluated to false. Updated the diagnostics checks in libc++ tests. (#144220)

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.
Reverts #144127
Fixies
https://github.com/llvm/llvm-project/pull/143309#issuecomment-2970012054



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