[all-commits] [llvm/llvm-project] 5670a0: [clang] NFCI: don't check deduced constraints when...

[Matheus Izvekov via All-commits]

  Branch: refs/heads/users/mizvekov/clang-fix-GH18291-4
  Home:   https://github.com/llvm/llvm-project
  Commit: 5670a0baba65ba31da082d3fb373b9c2a85a73c3
      https://github.com/llvm/llvm-project/commit/5670a0baba65ba31da082d3fb373b9c2a85a73c3
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2024-08-31 (Sat, 31 Aug 2024)

  Changed paths:
    M clang/lib/Sema/SemaTemplateDeduction.cpp

  Log Message:
  -----------
  [clang] NFCI: don't check deduced constraints when partial ordering

We were incorrectly applying [temp.deduct]p5 to partial ordering.

Marked as NFCI as I don't think the difference is actually observable
in practice. During partial ordering, the deduced arguments will
mostly be dependent and thus cannot be checked. Otherwise, later
during overload resolution, if deduction succeeds in both directions,
we will perform subsumption check for the constraints ([temp.func.order]p6).



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