From d537ba94b82a3d82fb1bef564d7f19c6e4dd81b9 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 7a30314b..7cae5e9c 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.