diff --git a/src/code-considerations/breaking-changes/fundamental.md b/src/code-considerations/breaking-changes/fundamental.md index f0cfe2d..18c0eb0 100644 --- a/src/code-considerations/breaking-changes/fundamental.md +++ b/src/code-considerations/breaking-changes/fundamental.md @@ -9,7 +9,7 @@ Type annotated with the `#[fundamental]` attribute have different coherence rule - `Box` - `Pin` -Typically, the scope of [breakage in new trait impls](./reviewing-code/breakage/new-trait-impls.md) is limited to inference and deref-coercion. New trait impls on `#[fundamental]` types may overlap with downstream impls and cause other kinds of breakage. +Typically, the scope of [breakage in new trait impls](./new-trait-impls.md) is limited to inference and deref-coercion. New trait impls on `#[fundamental]` types may overlap with downstream impls and cause other kinds of breakage. [RFC 1023]: https://rust-lang.github.io/rfcs/1023-rebalancing-coherence.html diff --git a/src/code-considerations/breaking-changes/new-trait-impls.md b/src/code-considerations/breaking-changes/new-trait-impls.md index a95b76c..5f3ac51 100644 --- a/src/code-considerations/breaking-changes/new-trait-impls.md +++ b/src/code-considerations/breaking-changes/new-trait-impls.md @@ -33,7 +33,7 @@ let b = Arc::from("a"); will no longer compile, because we've previously been relying on inference to figure out the `T` in `Box`. -This kind of breakage can be ok, but a [crater] run should estimate the scope. +This kind of breakage can be ok, but a [crater](../../tools-and-bots/crater.md) run should estimate the scope. ## Deref coercion breaks when a new impl is introduced