There are already one or more open bugs related to inference of higher-kinded types. I'm wary of opening a bug for enhanced inference of implicits, for a couple of reasons: first, in this case it's closely related to the type inference issue, and second, I haven't thought about it enough to be sure of what I want, whether it's a conservative improvement, etc. So for now, I guess these are directions for future work, and nothing more...
Thanks!
Thanks!
There are already one or more open bugs related to inference of higher-kinded types. I'm wary of opening a bug for enhanced inference of implicits, for a couple of reasons: first, in this case it's closely related to the type inference issue, and second, I haven't thought about it enough to be sure of what I want, whether it's a conservative improvement, etc. So for now, I guess these are directions for future work, and nothing more...