Test Trac #8893

testsuite/tests/deriving/should_compile/T8893.hs

+{-# OPTIONS_GHC -Wall #-}
+{-# Language DeriveFunctor #-}
+{-# Language PolyKinds #-}
+
+module T8893 where
+
+data V a = V [a] deriving Functor
+
+data C x a = C (V (P x a)) deriving Functor
+
+data P x a = P (x a) deriving Functor

testsuite/tests/deriving/should_compile/all.T

@@ -46,3 +46,4 @@ test('T8631', normal, compile, [''])
 test('T8758', extra_clean(['T8758a.o', 'T8758a.hi']), multimod_compile, ['T8758a', '-v0'])
 test('T8678', normal, compile, [''])
 test('T8865', normal, compile, [''])
+test('T8893', normal, compile, [''])