From 026aee62ac04ae79059c902867bbf523afaa3583 Mon Sep 17 00:00:00 2001 From: Ohad Ravid Date: Sat, 26 Oct 2019 17:28:02 +0200 Subject: Stabilize the `re_rebalance_coherence` feature --- .../language-features/re-rebalance-coherence.md | 23 ---------------------- 1 file changed, 23 deletions(-) delete mode 100644 src/doc/unstable-book/src/language-features/re-rebalance-coherence.md (limited to 'src/doc') 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 Trait 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. -- cgit 1.4.1-3-g733a5