From 1453ebf299b6a151f76949532fffeea76b6b7b14 Mon Sep 17 00:00:00 2001 From: Max Heller Date: Sat, 14 Sep 2024 15:23:22 -0400 Subject: [PATCH] fix broken links --- 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.