adriaanm/scala — comment on commit 9fc7c1377cadbbb9f23a187fa6c7b3682b5fe100
File:  line 0
By adriaanm:

this commit breaks the old pattern matcher because the inserted skolems lead it to think that .isInstanceOf[::[?A]] and .isInstanceOf[::[?B]] test mutually exclusive things; it also breaks GADT type inference, presumably since the side-effecting is now happening on the skolems and not on the the symbols of the actual type parameters /cc @paulp