# `Sized`
-There's more to `&str` that meets the eye, even after having
+There's more to `&str` than meets the eye, even after having
investigated deref coercion.
From our previous [discussion on memory layouts](../03_ticket_v1/10_references_in_memory.md),
it would have been reasonable to expect `&str` to be represented as a single `usize` on
// This is known as a **trait bound**
// It specifies that this implementation applies exclusively
// to types `T` that implement `Sized`
-// You can require multiple trait to be implemented using
+// You can require multiple traits to be implemented using
// the `+` sign. E.g. `Sized + PartialEq<T>`
{
inner: T,
### `RHS`
`RHS` is a generic parameter to allow for different types to be added together.
-For example, you'll find these two implementation in the standard library:
+For example, you'll find these two implementations in the standard library:
```rust
impl Add<u32> for u32 {
```
A `match` statement that lets you compare a Rust value against a series of **patterns**.
-You can think of it as a type-level `if`. If `status` is an `Done` variant, execute the first block;
+You can think of it as a type-level `if`. If `status` is a `Done` variant, execute the first block;
if it's a `InProgress` or `ToDo` variant, execute the second block.
## Exhaustiveness