From 7fa79ca9b98c86dc0d6161a1cfceaf0375595df9 Mon Sep 17 00:00:00 2001
From: Josiah Bills <josiah@adoniram.net>
Date: Wed, 30 Oct 2024 12:48:35 -0400
Subject: [PATCH] Clarified the fact that generics are not inherited.

---
 text/0000-import-trait-associated-functions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/text/0000-import-trait-associated-functions.md b/text/0000-import-trait-associated-functions.md
index 8bb884d90..d29e812f4 100644
--- a/text/0000-import-trait-associated-functions.md
+++ b/text/0000-import-trait-associated-functions.md
@@ -202,7 +202,7 @@ which compiles if and only if `T` and `Self` can be inferred from the function c
 ```
 fn func(self, b: T, c: i32) {}
 ```
-then `Trait<T>` would be inferred to be `<typeof(x) as Trait<typeof(y)>`.
+then `Trait<T>` would be inferred to be `<typeof(x) as Trait<typeof(y)>`. Generics on `Trait` are not directly specifiable when a function is called in this way. To call a function with explicit types specified you must use the usual fully qualified syntax.
 
 # Drawbacks
 [drawbacks]: #drawbacks