Comment 1 for bug 1508115

+1 for the concept

My best guess is that this would be feasible... we'd need to move where we check that the type is the same from before it is resolved with the environment to after.