--- /dev/null
+import "Prelude"
+
+// See gitlab #303
+
+test :: () -> Integer
+test _ = let
+ f = id :: Integer -> Integer
+ in min f 1 f 2
+
+main = test ()
+--
+8:8-8:11: Constraint <Ord (Integer -> Integer)> is not given and cannot be derived.
+8:8-8:19: Application of non-function
+8:16-8:17: Expected <Integer> got <Integer -> Integer>.