Comment 2 for bug 418167

This is a duplicate of #418161, as it occurs because local variables in interactive have no varset. Type variables without varsets are not merged correctly when the varsets merge, causing certain type variables to happen to be considered equal.