Property tests: don't generate annotated types

josefs · Sep 22, 2022 · f0de975 · f0de975
1 parent 400c7cf
commit f0de975
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/property_test/gradualizer_gen.erl b/test/property_test/gradualizer_gen.erl
@@ -8,6 +8,7 @@ abstract_type() ->
     Opts = [{weight, {binop, 0}},
             {weight, {unop, 0}},
             {weight, {remote_type, 0}},
+            {weight, {annotated_type, 0}},
             {weight, {user_defined_type, 10}}],
     abstract_type(Opts).