From 654238f3607e4a42beacbd65797975ba39069ecc Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Mon, 31 Oct 2022 13:48:46 -0300 Subject: [PATCH] trans -> codegen --- src/traits/resolution.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/traits/resolution.md b/src/traits/resolution.md index 88767ad94..9cf753b19 100644 --- a/src/traits/resolution.md +++ b/src/traits/resolution.md @@ -52,7 +52,7 @@ by proving that an appropriate impl does exist. During type checking, we do not store the results of trait selection. We simply wish to verify that trait selection will succeed. Then -later, at trans time, when we have all concrete types available, we +later, at codegen time, when we have all concrete types available, we can repeat the trait selection to choose an actual implementation, which will then be generated in the output binary.