From ca8f03fb939d5ba582e1fb7a54a28458d391d7b9 Mon Sep 17 00:00:00 2001 From: Quinn Sinclair <52372765+PartiallyTyped@users.noreply.github.com> Date: Tue, 13 Feb 2024 10:46:38 +0100 Subject: [PATCH] Update trait_checking.md Co-authored-by: Philipp Krones --- book/src/development/trait_checking.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/development/trait_checking.md b/book/src/development/trait_checking.md index 08a6c40e90d..dd71ce4a8b7 100644 --- a/book/src/development/trait_checking.md +++ b/book/src/development/trait_checking.md @@ -94,7 +94,7 @@ impl LateLintPass<'_> for CheckTokioAsyncReadExtTrait { } ``` -## Creating traits programmatically +## Creating Types Programmatically Traits are often generic over a type e.g. `Borrow` is generic over `T`, and rust allows us to implement a trait for a specific type. For example, we can implement `Borrow` for a hypothetical type `Foo`. Let's suppose that we