From 8fee78aeea110af54995c999e16a4af60d58df4e Mon Sep 17 00:00:00 2001 From: Waffle Maybe Date: Wed, 26 Jun 2024 18:34:30 +0200 Subject: [PATCH] fix typos in 2024-06-26-types-team-update.md --- posts/2024-06-26-types-team-update.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/posts/2024-06-26-types-team-update.md b/posts/2024-06-26-types-team-update.md index a06689d46..3b25da210 100644 --- a/posts/2024-06-26-types-team-update.md +++ b/posts/2024-06-26-types-team-update.md @@ -83,7 +83,7 @@ the new implementation. ### Async and `impl Trait` We stabilized `async`-fn in traits (AFIT) and return-position `impl Trait` in -traits (RPTIIT) in version 1.75 thanks to a significant effort by [@compiler-errors] and +traits (RPITIT) in version 1.75 thanks to a significant effort by [@compiler-errors] and [@spastorino]. [@cjgillot] greatly improved the way generators, and therefore async functions, are represented in the type system[^107421]. This allowed us to support recursive `async`-functions without too much additional work[^117703]. @@ -134,7 +134,7 @@ We are also working on extracting its implementation into a separate library outside of the compiler itself. We would like to share the trait solver with rust-analyzer by the end of this year. They currently use [chalk] which is no longer actively maintained. Using the next-generation trait solver in rust-analyzer -should result in a lot of additional testing for the solver and while also improving +should result in a lot of additional testing for the solver while also improving the IDE experience by positively impacting performance and correctness. We intend to slowly roll out the solver in other areas of the compiler until we're able