Date
2022-07-15.00:00:00
Message id
12568

Content

[ 2022-07-17; Daniel comments ]

This issue should be resolved by keeping LWG 3739 and 3740 in mind.