We only want to use rewriteableTyVarsOfType on CDictCan,
CFunEqCan (and maybe CIrredCan). But not CTyEqCan.
But we were -- for insolubles. So I narrowed the scope of
the insuluble kick-out.
|bgamari||Feb 9 2017, 3:34 PM|
|Build 20668: [GHC] Linux/amd64: Continuous Integration|
|Build 20667: [GHC] OSX/amd64: Continuous Integration|
|Build 20666: [GHC] Windows/amd64: Continuous Integration|