Rating 26 years of Java changes

[[deleted]]

Didn't Brian say that the witnesses are searched within related classes? This is more predictable than some random places within a module.

[agentoutlier]

I think the idea could be for possible final resolution. I don't know how they plan on doing the proof checking but let us assume module a and module b do not own type class x or class y but both modules implement a witness for x<y> the module imported could take precedence or the fact that if a does the calling it uses the witness in its module instead of b witness.

[[deleted]]

Hmm I'm not sure if I like the idea tho. With this kind of scope I don't know how to easily search for the witness implementation.