On 3/17/2024 5:45 PM, Timon Gehr wrote: > Issue: It does not seem to work yet for class references: It only works for const conversion. Not for inheritance conversions. We could perhaps add the latter later, but I want to stick with const conversion only for now.