On 5/24/2022 12:43 AM, Timon Gehr wrote: > The original example no longer compiles, there are others in that thread. It has > not been fixed! Other issues should get their own bugzilla issue.