Bug 119060 - [C++26] P1494R5 - Partial program correctness
Summary: [C++26] P1494R5 - Partial program correctness
Status: ASSIGNED
Alias: None
Product: gcc
Classification: Unclassified
Component: c++ (show other bugs)
Version: 15.0
: P3 normal
Target Milestone: ---
Assignee: Iain Sandoe
URL:
Keywords:
Depends on:
Blocks: c++26-core
  Show dependency tree / graph
 
Reported: 2025-02-28 14:53 UTC by Jakub Jelinek
Modified: 2025-03-04 22:42 UTC (History)
5 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2025-02-28 00:00:00

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jakub Jelinek 2025-02-28 14:53:14 UTC 
See <https://wg21.link/P1494R5>.
Comment 1 Andrew Pinski 2025-03-01 00:20:40 UTC 
Note I think R4 is the only version that is public so far.
Comment 2 Iain Sandoe 2025-03-04 22:28:15 UTC 
I have a patch for the language side of this which has been in use on the contracts branch for a while.