Add type annotations to avoid inferred #seq causing problems during R…

…elease builds.

src/FsCheck/ReflectArbitrary.fs

@@ -191,7 +191,7 @@ module internal ReflectArbitrary =
         else
             fun _ -> []
 
-    let private reflectShrinkObj getShrink o (t:Type) = 
+    let private reflectShrinkObj (getShrink:Type->obj->seq<obj>) o (t:Type) = 
         //assumes that l contains at least one element. 
         let split3 l =
             let rec split3' front m back =
@@ -311,4 +311,4 @@ module internal ReflectArbitrary =
         else
             Seq.empty
 
-    let reflectShrink getShrink (a:'a) = reflectShrinkObj getShrink a (typeof<'a>) |> Seq.map (unbox<'a>)
+    let reflectShrink<'T> (getShrink: Type -> obj -> seq<obj>) (a:'T) = reflectShrinkObj getShrink a (typeof<'T>) |> Seq.map (unbox<'T>)

src/FsCheck/TypeClass.fs

@@ -51,11 +51,11 @@ module TypeClass =
                     Array <| arr
             | prim -> Primitive prim
 
-    let private getMethods (t: Type) =
+    let private getMethods (t: Type) : seq<MethodInfo> =
         #if NETSTANDARD1_0
         t.GetRuntimeMethods()
         #else
-        t.GetMethods(BindingFlags.Static ||| BindingFlags.Public ||| BindingFlags.FlattenHierarchy ||| BindingFlags.NonPublic ||| BindingFlags.Instance)
+        upcast t.GetMethods(BindingFlags.Static ||| BindingFlags.Public ||| BindingFlags.FlattenHierarchy ||| BindingFlags.NonPublic ||| BindingFlags.Instance)
         #endif
 
     //returns a dictionary of generic types to methodinfo, a catch all, and array types in a list by rank