[RankNTypes] Problems with additional constraints for functions inside InstanceDecls

The following code crashes with an error somewhere after dictionary insertion

class Test a where
  testfunc :: Integral b => a -> b

instance Test Float where
  testfunc x = error ""

Without the InstanceDecl, the code works just fine.