diff --git a/basis/stack-checker/stack-checker-tests.factor b/basis/stack-checker/stack-checker-tests.factor
index 6e2d6c467b..a2296ca84f 100644
--- a/basis/stack-checker/stack-checker-tests.factor
+++ b/basis/stack-checker/stack-checker-tests.factor
@@ -448,3 +448,6 @@ FROM: splitting.private => split, ;
 [ [ [      ] [ drop  ] if* ] infer ] [ invalid-quotation-input? ] must-fail-with
 [ [ [      ] [ 2dup  ] if* ] infer ] [ invalid-quotation-input? ] must-fail-with
 
+! edge cases in polymorphic checking
+{ 1 0 } [ [ 1 [ drop ] [ drop ] if ] each ] must-infer-as
+