From a8a77cbee1b00e53a6fdc4cf2a1c9528ac998789 Mon Sep 17 00:00:00 2001 From: Max Heller Date: Mon, 23 Sep 2024 04:47:44 -0400 Subject: [PATCH] fix broken links (#2063) --- src/coherence.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/coherence.md b/src/coherence.md index fc20ca158..2d2fb7cf1 100644 --- a/src/coherence.md +++ b/src/coherence.md @@ -28,7 +28,7 @@ Overlap checking for inherent impl blocks is done through `fn check_item` in coh where you can very clearly see that (at least for small `n`), the check really performs `n^2` comparisons between impls. -In the case of traits, this check is currently done as part of building the [specialization graph](./specialization.md), +In the case of traits, this check is currently done as part of building the [specialization graph](traits/specialization.md), to handle specializing impls overlapping with their parent, but this may change in the future. In both cases, all pairs of impls are checked for overlap. @@ -36,7 +36,7 @@ In both cases, all pairs of impls are checked for overlap. Overlapping is sometimes partially allowed: 1. for marker traits -2. under [specialization](./specialization.md) +2. under [specialization](traits/specialization.md) but normally isn't.