From 617e14c70cffc155271ffed8c3369a7a95ab8f56 Mon Sep 17 00:00:00 2001 From: Gabriel Goller Date: Thu, 21 Mar 2024 11:21:30 +0100 Subject: [PATCH] fixed typo changed 'analyses' to 'analysis'. --- src/exotic-sizes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/exotic-sizes.md b/src/exotic-sizes.md index c4a6d240..abb2646e 100644 --- a/src/exotic-sizes.md +++ b/src/exotic-sizes.md @@ -131,7 +131,7 @@ actually possible to communicate this at the type level by returning a knowing that it's *statically impossible* for this value to be an `Err`, as this would require providing a value of type `Void`. -In principle, Rust can do some interesting analyses and optimizations based +In principle, Rust can do some interesting analysis and optimizations based on this fact. For instance, `Result` is represented as just `T`, because the `Err` case doesn't actually exist (strictly speaking, this is only an optimization that is not guaranteed, so for example transmuting one into the