Merge branch 'kostis/dialyzer_R16B02_fixes/OTP-11374' into maint

* kostis/dialyzer_R16B02_fixes/OTP-11374:
  Fix crash when using remote types in the tail of list types
  Adopt a convention about unknown modules
  No reason for calls to unknown modules
  Use the modern version of is_subtype
  Adopt a convention about unknown modules
  Fix a comment
  Add some more comments about what the test does

1 files changed, 5 insertions, 5 deletions

diff --git a/lib/dialyzer/test/small_SUITE_data/src/overloaded1.erl b/lib/dialyzer/test/small_SUITE_data/src/overloaded1.erl
index 0af4f7446f..074a93e2fe 100644
--- a/lib/dialyzer/test/small_SUITE_data/src/overloaded1.erl
+++ b/lib/dialyzer/test/small_SUITE_data/src/overloaded1.erl
@@ -1,5 +1,5 @@
 %%-----------------------------------------------------------------------------
-%% Test that tests overloaded contratcs.
+%% Test that tests overloaded contracts.
 %% In December 2008 it works as far as intersection types are concerned (test1)
 %% However, it does NOT work as far as type variables are concerned (test2)
 %%-----------------------------------------------------------------------------
@@ -16,13 +16,13 @@ test2() ->
 
 -type mod() :: atom().
 
--spec foo(ATM, list()) -> {'ok', ATM} | {'error', _} when is_subtype(ATM, mod())
-       ; (MFA, list()) -> {'ok', MFA} | {'error', _} when is_subtype(MFA, mfa()).
+-spec foo(ATM, list()) -> {'ok', ATM} | {'error', _} when ATM :: mod()
+       ; (MFA, list()) -> {'ok', MFA} | {'error', _} when MFA :: mfa().
 
 foo(F, _) when is_atom(F) ->
   case atom_to_list(F) of
-      [42|_] -> {ok, F};
-      _Other -> {error, mod:bar(F)}
+    [42|_] -> {ok, F};
+    _Other -> {error, some_mod:some_function()}
   end;
 foo({M,F,A}, _) ->
   case A =:= 0 of