Update documentation of -i flag.

hacspec · Nov 27, 2024 · c89897f · c89897f
1 parent e1ec170
commit c89897f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/hax-types/src/cli_options/mod.rs b/hax-types/src/cli_options/mod.rs
@@ -303,7 +303,8 @@ pub struct TranslationOptions {
 
     /// {n} - `+:`: only includes the type of the selected items (no
     /// dependencies). This includes full struct and enums, but only
-    /// the type signature of functions, dropping their bodies.
+    /// the type signature of functions and trait impls (except when
+    /// they contain associated types), dropping their bodies.
     #[arg(
         value_parser = parse_inclusion_clause,
         value_delimiter = ' ',