add regression test for typing of constants issue (fails on this commit)

tests/nbackend/kernelcreation/test_typification.py

@@ -182,3 +182,14 @@ def test_typify_integer_binops_in_floating_context():
 
     with pytest.raises(TypificationError):
         expr = typify(expr)
+
+
+def test_regression_typify_constants():
+    ctx = KernelCreationContext(default_dtype=Fp(32))
+    freeze = FreezeExpressions(ctx)
+    typify = Typifier(ctx)
+
+    x, y = sp.symbols("x, y")
+    expr = (-x - y) ** 2
+
+    typify(freeze(expr))  # just test that no error is raised