OTP 25 compatibility

Summary: as title Reviewed By: VLanvin Differential Revision: D57437373 fbshipit-source-id: 9a30013043d38b0758b5767c70f70f00e8d683f8
WhatsApp · May 16, 2024 · 9f90e9d · 9f90e9d
1 parent 49a05be
commit 9f90e9d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/eqwalizer/test_projects/check_gradual/src/gradual_custom.erl b/eqwalizer/test_projects/check_gradual/src/gradual_custom.erl
@@ -257,20 +257,20 @@ min4(X, Y) -> min(X, Y).
 min5_neg(X, Y) -> min(X, Y).
 
 -spec min6_neg(
- number() | dynamic(),
- number() | atom() | dynamic()
+ number() | eqwalizer:dynamic(),
+ number() | atom() | eqwalizer:dynamic()
 ) -> number().
 min6_neg(X, Y) -> min(X, Y).
 
 -spec min7_neg(
- number() | dynamic(),
- atom() | dynamic()
+ number() | eqwalizer:dynamic(),
+ atom() | eqwalizer:dynamic()
 ) -> number().
 min7_neg(X, Y) -> min(X, Y).
 
 -spec min8_neg(
- dynamic() | atom() | none(),
- dynamic() | {none()}
+ eqwalizer:dynamic() | atom() | none(),
+ eqwalizer:dynamic() | {none()}
 ) -> number().
 min8_neg(X, Y) ->
  Y = min(X, Y),

diff --git a/eqwalizer/test_projects/check_gradual/src/gradual_custom.erl.check b/eqwalizer/test_projects/check_gradual/src/gradual_custom.erl.check
@@ -306,8 +306,8 @@ min5_neg(X, Y) -> min(X, Y). | ERROR | erlang:min(X, Y).
  | | atom() is not compatible with number()
  | |
 -spec min6_neg( | |
- number() | dynamic(),  | |
- number() | atom() | dynamic() | |
+ number() | eqwalizer:dynamic(), | |
+ number() | atom() | eqwalizer:dynamic(…… |
 ) -> number(). | |
 min6_neg(X, Y) -> min(X, Y). | ERROR | erlang:min(X, Y).
  | | Expression has type: number() | dynamic() | number() | atom() | dynamic()
@@ -318,8 +318,8 @@ min6_neg(X, Y) -> min(X, Y). | ERROR | erlang:min(X, Y).
  | | atom() is not compatible with number()
  | |
 -spec min7_neg( | |
- number() | dynamic(),  | |
- atom() | dynamic()  | |
+ number() | eqwalizer:dynamic(), | |
+ atom() | eqwalizer:dynamic() | |
 ) -> number(). | |
 min7_neg(X, Y) -> min(X, Y). | ERROR | erlang:min(X, Y).
  | | Expression has type: number() | dynamic() | atom() | dynamic()
@@ -330,8 +330,8 @@ min7_neg(X, Y) -> min(X, Y). | ERROR | erlang:min(X, Y).
  | | atom() is not compatible with number()
  | |
 -spec min8_neg( | |
- dynamic() | atom() | none(),  | |
- dynamic() | {none()}  | |
+ eqwalizer:dynamic() | atom() | none(), | |
+ eqwalizer:dynamic() | {none()} | |
 ) -> number(). | |
 min8_neg(X, Y) -> | ERROR |
  Y = min(X, Y), | |