Mark Mitchell writes: > > I also agree with Gaby that we should document this as an extension. If > we go to the work of putting it back in, we should ensure that it > continues to work for the foreseeable future. Part of that is writing > down what we've decided.
We can't make function pointer type casts work in the general case, as we know; all we can promise to do is make our best effort. How can we document that? I suppose we could say that it should work as long as the types of the parameters of the two functions are compatible, but not otherwise. Andrew.