clarification about dynamic(T) type

ilya-klyuchnikov · meta-codesync[bot] · commit fed8e59bc7d3 · 2026-05-23T02:58:53.000-07:00
Summary:
- a clarifying comment

___

Differential Revision: D106177580

fbshipit-source-id: 219e529b2f57c8b8dc71c8163fe85275f2ecf0af
diff --git a/eqwalizer_support/src/eqwalizer.erl b/eqwalizer_support/src/eqwalizer.erl
@@ -27,6 +27,7 @@
 %% dynamic(T) is a subtype of everything, but a supertype of T
 %% (and its subtypes) only.
 %% It behaves as "T in, dynamic() out".
+%% If eqwalizer had intersection types, dynamic(T) can be expressed as T & dynamic().
 %% For other tooling, dynamic(T) is defined as an alias to T.
 -type dynamic(T) :: T.
 
