From c89897f4f06cbe70001ec20ba396084871de52b7 Mon Sep 17 00:00:00 2001
From: Maxime Buyse <maxime@cryspen.com>
Date: Wed, 27 Nov 2024 11:41:21 +0100
Subject: [PATCH] Update documentation of -i flag.

---
 hax-types/src/cli_options/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hax-types/src/cli_options/mod.rs b/hax-types/src/cli_options/mod.rs
index f84795be7..d8b1a6551 100644
--- 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 = ' ',