Sorry, To be clear you should never see K or V in the type, it looks as though it is widening to the parameter free version of the abstract type.
On Wednesday, April 1, 2015 at 11:18:38 AM UTC-4, Patrick O'Leary wrote: > > It's very helpful to note what your expected result is when asking a > question like this--I'm not clear what isn't working as expected, here. As > far as I can tell all the inferred types are correct, though the second one > and the final one could be narrower. > > On Wednesday, April 1, 2015 at 10:02:37 AM UTC-5, Michael Francis wrote: >> >> If I run the following, I get the results show to the right (in >> comments), it appears array construction fails to raise to the common >> parent type under certain conditions, is there a way round >> this? Alternatively where is this code implemented ? >> >>
