Uncallable delegates

[Walter Bright]

On 5/14/2026 2:55 PM, Timon Gehr wrote:
> FWIW, I am convinced that Dukc has the right idea about delegate typing, and the 
> proposed change certainly improves things. Though I guess the unsound `pure` 
> factory function interaction will remain intact with the DIP as written. (Which 
> is partially my bad, I did not consider the potential convertibility from 
> mutable to `immutable` when deriving the soundness condition in the idea thread.)

I am skeptical that this proposed behavior does not match how overrides in 
classes work.