From d0dc6c97a6486f68bac782fff135086eae6d77ec Mon Sep 17 00:00:00 2001 From: lcnr Date: Mon, 7 Nov 2022 15:09:56 +0100 Subject: [PATCH] trans -> codegen --- src/traits/specialization.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/traits/specialization.md b/src/traits/specialization.md index 7a30314b4b459..7cae5e9c1c6c3 100644 --- a/src/traits/specialization.md +++ b/src/traits/specialization.md @@ -36,7 +36,7 @@ as long as they are part of the same specialization family. In that case, it returns a *single* impl on success – this is the most specialized impl *known* to apply. However, if there are any inference variables in play, the returned impl may not be the actual impl we -will use at trans time. Thus, we take special care to avoid projecting +will use at codegen time. Thus, we take special care to avoid projecting associated types unless either (1) the associated type does not use `default` and thus cannot be overridden or (2) all input types are known concretely.