Test Trac #8931

testsuite/tests/ghci/scripts/T8931.script

+:m +Data.Typeable
+let {f :: Typeable a => (a->Bool) -> Bool; f _ = True}
+f (\x -> (x == 3))

testsuite/tests/ghci/scripts/T8931.stdout

+True

testsuite/tests/ghci/scripts/all.T

@@ -170,3 +170,4 @@ test('T8776', normal, ghci_script, ['T8776.script'])
 test('ghci059', normal, ghci_script, ['ghci059.script'])
 test('T8831', normal, ghci_script, ['T8831.script'])
 test('T8917', normal, ghci_script, ['T8917.script'])
+test('T8931', normal, ghci_script, ['T8931.script'])