Now is never

README.md

@@ -12,7 +12,7 @@ See ([try_trait_v2](https://rust-lang.github.io/rfcs/3058-try-trait-v2.html)) fo
 ## Requires
 
 - nightly
-- `#![feature(never_type)]`
+- `#![feature(never_type)]` (stable from rust 1.100.0)
 - `#![feature(try_trait_v2)]`
 - `#![feature(try_trait_v2_residual)]`
 - optionally: `#![feature(iterator_try_collect)]` (if using Try_Iterator)
@@ -30,6 +30,7 @@ See the [full documentation](https://docs.rs/try_v2/latest/try_v2/) for specific
 ## Example Usage
 
 ```rust
+#![allow(stable_features)]
 #![feature(never_type)]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
@@ -79,7 +80,7 @@ In order to use this crate you must enable the features which it exposes:
 
 > 🔬 **Required Experimental Features**
 >
-> - [`#![feature(never_type)]`](https://github.com/rust-lang/rust/issues/35121)
+> - [`#![feature(never_type)]`](https://github.com/rust-lang/rust/issues/35121) (stable from rust 1.100.0)
 > - [`#![feature(try_trait_v2)]`](https://github.com/rust-lang/rust/issues/84277)
 > - [`#![feature(try_trait_v2_residual)]`](https://github.com/rust-lang/rust/issues/91285)
 > - optionally: [`#![feature(iterator_try_collect)]`](https://github.com/rust-lang/rust/issues/94047) (if using `Try_Iterator`)

crates/try_v2/examples/BangMatching.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![allow(dead_code)]
 
 enum ValidatedBox<T> {

crates/try_v2/examples/Nested_Try.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 #![allow(dead_code, clippy::disallowed_names)]

crates/try_v2/examples/TraitExt_Try.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 #![allow(clippy::disallowed_names)]

crates/try_v2/examples/TryFrom2.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 #![feature(associated_type_defaults)]

crates/try_v2/examples/clear_ready.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![allow(unused, clippy::disallowed_names)]
 use std::{
     io,

crates/try_v2/examples/doubleQ.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 #![feature(min_specialization)]

crates/try_v2/examples/nested_residual.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 #![allow(dead_code, clippy::disallowed_names)]

crates/try_v2/src/lib.rs

@@ -8,7 +8,7 @@
 //! ## Requires
 //!
 //!   - nightly
-//!   - `#![feature(never_type)]`
+//!   - `#![feature(never_type)]` (stable from rust 1.100.0)
 //!   - `#![feature(try_trait_v2)]`
 //!   - `#![feature(try_trait_v2_residual)]`
 //!
@@ -28,7 +28,7 @@
 //! ## Example Usage
 //!
 //! ```rust, ignore TODO update
-//! #![feature(never_type)]
+//! #![cfg_attr(unstable_never_type, feature(never_type))]
 //! #![feature(try_trait_v2)]
 //! #![feature(try_trait_v2_residual)]
 //! use try_v2::Try;
@@ -77,7 +77,7 @@
 //!
 //! > 🔬 **Required Experimental Features**
 //! >
-//! >  - [`#![feature(never_type)]`](https://github.com/rust-lang/rust/issues/35121)
+//! >  - [`#![cfg_attr(unstable_never_type, feature(never_type))]`](https://github.com/rust-lang/rust/issues/35121)
 //! >  - [`#![feature(try_trait_v2)]`](https://github.com/rust-lang/rust/issues/84277)
 //! >  - [`#![feature(try_trait_v2_residual)]`](https://github.com/rust-lang/rust/issues/91285)
 //!

crates/try_v2_derive/examples/FromResidualMulti.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/FromResidualNested.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/FromResidualNestedFullPath.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/FromResidualNestedInfer.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/FromResidualNestedMulti.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/Iterator.rs

@@ -1,5 +1,5 @@
 #![allow(unused)]
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/ReferenceMethods.rs

@@ -1,5 +1,5 @@
 #![allow(unused)]
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/basic_usage.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_GenericE.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_MultipleFields.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_MultipleGenerics.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_NoFieldResiduals.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_NoUnitResidual.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/examples/pass_ResultMeBang.rs

@@ -1,4 +1,4 @@
-#![feature(never_type)]
+#![cfg_attr(unstable_never_type, feature(never_type))]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]
 

crates/try_v2_derive/src/lib.rs

@@ -34,7 +34,7 @@ use parse::TryEnum;
 ///
 /// ## Derived code
 /// ```
-/// # #![feature(never_type)]
+/// # #![cfg_attr(unstable_never_type, feature(never_type))]
 /// # #![feature(try_trait_v2)]
 /// # #![feature(try_trait_v2_residual)]
 /// # use try_v2_derive::Try;
@@ -101,7 +101,7 @@ use parse::TryEnum;
 /// 2. provide relevant `From` implementations (see examples)
 ///
 /// ```
-/// # #![feature(never_type)]
+/// # #![cfg_attr(unstable_never_type, feature(never_type))]
 /// # #![feature(try_trait_v2)]
 /// # #![feature(try_trait_v2_residual)]
 /// # use try_v2_derive::Try;
@@ -136,7 +136,7 @@ use parse::TryEnum;
 ///
 /// ### Residual
 /// The `Residual` is generated by replacing the _first generic type_ with `!`. This means
-///     - we rely on the unstable `#![feature(never_type)]` (on the assumption that it will be
+///     - we rely on the unstable `#![cfg_attr(unstable_never_type, feature(never_type))]` (on the assumption that it will be
 ///         stabilised on a similar timeframe to `#![feature(try_trait_v2)]`
 ///     - any short-circuiting variants which also store this type will have a "hole"
 ///     - the **invariant** _first generic type is stored by first variant_ is **strictly** enforced.
@@ -157,7 +157,7 @@ use parse::TryEnum;
 /// this valuable.
 ///
 /// ```
-/// # #![feature(never_type)]
+/// # #![cfg_attr(unstable_never_type, feature(never_type))]
 /// # #![feature(try_trait_v2)]
 /// # #![feature(try_trait_v2_residual)]
 /// # use try_v2_derive::Try;
@@ -463,7 +463,7 @@ fn derive_try_trait_v2(input: TokenStream2) -> DiagnosticStream {
 /// ## Example
 ///
 /// ```
-/// # #![feature(never_type)]
+/// # #![cfg_attr(unstable_never_type, feature(never_type))]
 /// # #![feature(try_trait_v2)]
 /// # #![feature(try_trait_v2_residual)]
 ///
@@ -571,7 +571,7 @@ fn derive_from_residual(input: TokenStream2) -> DiagnosticStream {
 /// ## Example
 ///
 /// ```
-/// # #![feature(never_type)]
+/// # #![cfg_attr(unstable_never_type, feature(never_type))]
 /// # #![feature(try_trait_v2)]
 /// # #![feature(try_trait_v2_residual)]
 /// # use try_v2_derive::{IntoIterator, Try};

crates/try_v2_derive/tests/compilation/fail_FirstGenericNotOutput.rs

@@ -1,3 +1,4 @@
+#![allow(stable_features)]
 #![feature(never_type)]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]

crates/try_v2_derive/tests/compilation/fail_FirstGenericNotOutput.stderr

@@ -1,53 +1,53 @@
 error: Try requires the first generic type to be used as the `Output` type
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:7:17
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:8:17
    |
- 7 | #[derive(Debug, Try)]
+ 8 | #[derive(Debug, Try)]
    |                 ^^^
    |
 help: Output type defined here
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:9:12
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:10:12
    |
- 9 | enum Owned<T, E> {
+10 | enum Owned<T, E> {
    |            ^
 help: change this to T
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:10:8
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:11:8
    |
-10 |     Ok(E),
+11 |     Ok(E),
    |        ^
    = note: this error originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: Try requires the first generic type to be used as the `Output` type
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:14:17
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:15:17
    |
-14 | #[derive(Debug, Try)]
+15 | #[derive(Debug, Try)]
    |                 ^^^
    |
 help: Output type defined here
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:17:23
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:18:23
    |
-17 | enum Borrowed<'t, 'e, T, E> {
+18 | enum Borrowed<'t, 'e, T, E> {
    |                       ^
 help: change this to &'e T
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:18:8
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:19:8
    |
-18 |     Ok(&'e E),
+19 |     Ok(&'e E),
    |        ^^^^^
    = note: this error originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: Try requires a single generic type for `Output`
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:22:17
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:23:17
    |
-22 | #[derive(Debug, Try)]
+23 | #[derive(Debug, Try)]
    |                 ^^^
    |
 help: Output type defined here
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:25:35
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:26:35
    |
-25 | enum MultipleBorrowed<'t, 'e, 'f, T, E, F> {
+26 | enum MultipleBorrowed<'t, 'e, 'f, T, E, F> {
    |                                   ^
 help: change this to (T)
-  --> tests/compilation/fail_FirstGenericNotOutput.rs:26:7
+  --> tests/compilation/fail_FirstGenericNotOutput.rs:27:7
    |
-26 |     Ok(&'e E, &'f F),
+27 |     Ok(&'e E, &'f F),
    |       ^^^^^^^^^^^^^^
    = note: this error originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)

crates/try_v2_derive/tests/compilation/fail_MustUse.rs

@@ -1,3 +1,4 @@
+#![allow(stable_features)]
 #![feature(never_type)]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]

crates/try_v2_derive/tests/compilation/fail_MustUse.stderr

@@ -1,22 +1,22 @@
 warning: it is recommended to annotate try-types as `#[must_use]`
-  --> tests/compilation/fail_MustUse.rs:8:1
+  --> tests/compilation/fail_MustUse.rs:9:1
    |
- 8 | / enum ExitE<E> {
- 9 | |     Ok(E),
-10 | |     TestsFailed,
-11 | |     OtherError(String),
-12 | | }
+ 9 | / enum ExitE<E> {
+10 | |     Ok(E),
+11 | |     TestsFailed,
+12 | |     OtherError(String),
+13 | | }
    | |_^
    |
 note: this warning originates from the macro invocation here
-  --> tests/compilation/fail_MustUse.rs:7:17
+  --> tests/compilation/fail_MustUse.rs:8:17
    |
- 7 | #[derive(Debug, Try)]
+ 8 | #[derive(Debug, Try)]
    |                 ^^^
    = note: this warning originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0425]: cannot find value `fail` in this scope
-  --> tests/compilation/fail_MustUse.rs:15:5
+  --> tests/compilation/fail_MustUse.rs:16:5
    |
-15 |     fail
+16 |     fail
    |     ^^^^ not found in this scope

crates/try_v2_derive/tests/compilation/fail_NoGenerics.rs

@@ -1,3 +1,4 @@
+#![allow(stable_features)]
 #![feature(never_type)]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]

crates/try_v2_derive/tests/compilation/fail_NoGenerics.stderr

@@ -1,12 +1,12 @@
 error: Try requires a generic type for `Output`
- --> tests/compilation/fail_NoGenerics.rs:7:17
-  |
-7 | #[derive(Debug, Try)]
-  |                 ^^^
-  |
+  --> tests/compilation/fail_NoGenerics.rs:8:17
+   |
+ 8 | #[derive(Debug, Try)]
+   |                 ^^^
+   |
 help: Add <T> after this...
- --> tests/compilation/fail_NoGenerics.rs:9:6
-  |
-9 | enum NoGenerics {
-  |      ^^^^^^^^^^
-  = note: this error originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)
+  --> tests/compilation/fail_NoGenerics.rs:10:6
+   |
+10 | enum NoGenerics {
+   |      ^^^^^^^^^^
+   = note: this error originates in the derive macro `Try` (in Nightly builds, run with -Z macro-backtrace for more info)

crates/try_v2_derive/tests/compilation/fail_OutputNamedFields.rs

@@ -1,3 +1,4 @@
+#![allow(stable_features)]
 #![feature(never_type)]
 #![feature(try_trait_v2)]
 #![feature(try_trait_v2_residual)]