From 8d9b40183ebedb6e8c6ff89db3a03e5a6d63bf93 Mon Sep 17 00:00:00 2001 From: Keith Wansbrough Date: Wed, 27 Nov 2024 23:27:40 +0000 Subject: [PATCH] Fix trivial typo "And" should be "An" - one instance. --- src/mir/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mir/index.md b/src/mir/index.md index 5e78298a..ef6f2f51 100644 --- a/src/mir/index.md +++ b/src/mir/index.md @@ -262,7 +262,7 @@ similarly, in `x + 2`, `2` is a MIR constant. Type system constants are used in the type system, in particular for array lengths but also for const generics. Generally, both kinds of constants can be "unevaluated" or "already evaluated". -And unevaluated constant simply stores the `DefId` of what needs to be evaluated +An unevaluated constant simply stores the `DefId` of what needs to be evaluated to compute this result. An evaluated constant (a "value") has already been computed; their representation differs between type system constants and MIR constants: MIR constants evaluate to a `mir::ConstValue`; type system constants