diff options
| author | Ohad Ravid <ohad.rv@gmail.com> | 2019-10-26 17:28:02 +0200 |
|---|---|---|
| committer | Ohad Ravid <ohad.rv@gmail.com> | 2019-10-31 17:11:21 +0100 |
| commit | 026aee62ac04ae79059c902867bbf523afaa3583 (patch) | |
| tree | 40959a0610ee0178af4c0399517a3e92da67ffef /src/doc | |
| parent | 92df638162b7ccea6f97a8e1287ed05c5c0818b4 (diff) | |
| download | rust-026aee62ac04ae79059c902867bbf523afaa3583.tar.gz rust-026aee62ac04ae79059c902867bbf523afaa3583.zip | |
Stabilize the `re_rebalance_coherence` feature
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/unstable-book/src/language-features/re-rebalance-coherence.md | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/doc/unstable-book/src/language-features/re-rebalance-coherence.md b/src/doc/unstable-book/src/language-features/re-rebalance-coherence.md deleted file mode 100644 index 1e74652a890..00000000000 --- a/src/doc/unstable-book/src/language-features/re-rebalance-coherence.md +++ /dev/null @@ -1,23 +0,0 @@ -# `re_rebalance_coherence` - -The tracking issue for this feature is: [#55437] - -[#55437]: https://github.com/rust-lang/rust/issues/55437 - ------------------------- - -The `re_rebalance_coherence` feature tweaks the rules regarding which trait -impls are allowed in crates. -The following rule is used: - -Given `impl<P1..=Pn> Trait<T1..=Tn> for T0`, an impl is valid only if at -least one of the following is true: -- `Trait` is a local trait -- All of - - At least one of the types `T0..=Tn` must be a local type. Let `Ti` be the - first such type. - - No uncovered type parameters `P1..=Pn` may appear in `T0..Ti` (excluding - `Ti`) - - -See the [RFC](https://github.com/rust-lang/rfcs/blob/master/text/2451-re-rebalancing-coherence.md) for details. |