wip

Author: majocha

src/Compiler/Utilities/TypeHashing.fs

@@ -421,12 +421,8 @@ module StructuralUtilities =
             match typar.Solution with
             | Some ty -> yield! accumulateTType ty
             | None ->
-                if typar.Rigidity <> TyparRigidity.Rigid then
+                if typar.Rigidity <> TyparRigidity.Rigid || typar.Constraints.Length > 0 then
                     TypeToken.Unsolved
-
-                // We don't emit details of the constraints, just the stamp to avoid collisions.
-                if typar.Constraints.Length > 0 then
-                    TypeToken.Stamp typar.Stamp
                 else
                     TypeToken.UnconstrainedVar
         }