Fix self-check error in typechecker:subtype/3

josefs · Mar 2, 2023 · e7a011d · e7a011d
1 parent be5306f
commit e7a011d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/typechecker.erl b/src/typechecker.erl
@@ -195,7 +195,9 @@ subtype(Ty1, Ty2, Env) ->
                         false
                 end,
             gradualizer_cache:store(?FUNCTION_NAME, {Module, Ty1, Ty2}, R),
-            R;
+            %% TODO: Gradualizer cannot tell that even if we get compat_acc() from compat(),
+            %% we rewrite it to {true, Constraints} :: compatible()
+            ?assert_type(R, compatible());
         {some, R} ->
             %% these two types have already been seen and calculated
             R