From 9cc30ac2ee93a9ade5d1843f95d12bb7c3aada8f Mon Sep 17 00:00:00 2001 From: Luca Palmieri <20745048+LukeMathWalker@users.noreply.github.com> Date: Mon, 7 Jul 2025 11:47:32 +0200 Subject: [PATCH] Apply suggestion from @gribozavr Co-authored-by: Dmitri Gribenko --- src/idiomatic/leveraging-the-type-system.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/idiomatic/leveraging-the-type-system.md b/src/idiomatic/leveraging-the-type-system.md index c01cb517..a1153fdc 100644 --- a/src/idiomatic/leveraging-the-type-system.md +++ b/src/idiomatic/leveraging-the-type-system.md @@ -36,7 +36,7 @@ Additional items speaker may mention: doesn't support inheritance, and object decomposition should take into account the constraints introduced by the borrow checker. -- Mention that type-level abstractions are often referred to as "zero-cost +- Mention that type-level programming can be often used to create "zero-cost abstractions", although the label can be misleading: the impact on compile times and code complexity may be significant.