Update posts/2025-01-09-Rust-1.84.0.md

Co-authored-by: Jake Goulding <shepmaster@mac.com>

Author: Mark-Simulacrum

posts/2025-01-09-Rust-1.84.0.md

@@ -54,7 +54,7 @@ component of Rust's type system. It is not only responsible for checking
 whether trait-bounds - e.g. `Vec<T>: Clone` - hold, but is also used by many
 other parts of the type system, such as normalization - figuring out the
 underlying type of `<Vec<T> as IntoIterator>::Item` - and equating types
-(checking whether T and U are the same).
+(checking whether `T` and `U` are the same).
 
 In 1.84, the new solver is used for checking coherence of trait impls. At a
 high level, coherence is responsible for ensuring that there is at most one