Skip to content

Commit

Permalink
fix broken links (#2063)
Browse files Browse the repository at this point in the history
  • Loading branch information
max-heller authored Sep 23, 2024
1 parent 0f7f7df commit a8a77cb
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/coherence.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,15 +28,15 @@ 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.

Overlapping is sometimes partially allowed:

1. for marker traits
2. under [specialization](./specialization.md)
2. under [specialization](traits/specialization.md)

but normally isn't.

Expand Down

0 comments on commit a8a77cb

Please sign in to comment.