On 5/1/2024 6:51 PM, Timon Gehr wrote: > `cast` could simply allow a list of function attributes and cast a function > pointer or delegate to a type that additionally has those attributes: Let's move forward with this.