diff --git a/lib/Ast.ml b/lib/Ast.ml
index 1f86607e04..d4f3dfdf5b 100644
--- a/lib/Ast.ml
+++ b/lib/Ast.ml
@@ -1890,6 +1890,7 @@ end = struct
       | Ppat_cons _ -> true
       | Ppat_construct _ | Ppat_record _ | Ppat_variant _ -> false
       | _ -> true )
+    | Fp {pparam_desc= Pparam_val (_, _, _); _}, Ppat_cons _ -> true
     | Pat {ppat_desc= Ppat_construct _; _}, Ppat_cons _ -> true
     | _, Ppat_constraint (_, {ptyp_desc= Ptyp_poly _; _}) -> false
     | ( Exp {pexp_desc= Pexp_letop _; _}
diff --git a/test/passing/tests/apply.ml b/test/passing/tests/apply.ml
index a38177a78b..80592b7297 100644
--- a/test/passing/tests/apply.ml
+++ b/test/passing/tests/apply.ml
@@ -83,3 +83,7 @@ let _ =
     (loooooooooooong looooooooooooooong loooooooooooooong
        [loooooooooong; loooooooooooong; loooooooooooooooooooooong]
     )
+
+let f (x :: y) = x
+
+let f (* xx *) ((* aa *) x (* bb *) :: (* cc *) y (* dd *)) (* yy *) = x