cleanup

Author: majocha

src/Compiler/Checking/TypeRelations.fs

@@ -29,11 +29,6 @@ type CanCoerce =
 type TTypeCacheKey =
     | TTypeCacheKey of TypeStructure * TypeStructure * CanCoerce
     static member TryGetFromStrippedTypes(ty1, ty2, canCoerce) =
-        match ty1, ty2 with
-        | TType_measure _, TType_measure _
-        | TType_var _, _ | _, TType_var _ ->
-            ValueNone
-        | _ ->
         let t1, t2 = getTypeStructure ty1, getTypeStructure ty2
         if t1.IsUnsolved || t2.IsUnsolved then
             ValueNone