Update description of the `IsTerminal` example · model-checking/verify-rust-std@bf7430f (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -1190,9 +1190,8 @@ pub trait IsTerminal: crate::sealed::Sealed {
1190	1190	///
1191	1191	/// - If you run this example by piping some text to it, e.g. `echo "foo" \| path/to/executable`
1192	1192	/// it will print: `Hello foo`.
1193		- /// - If you instead run the example interactively by running the executable directly, it will
1194		- /// panic with the message "Expected input to be piped to the process".
1195		- ///
	1193	+ /// - If you instead run the example interactively by running `path/to/executable` directly, it will
	1194	+ /// prompt for input.
1196	1195	///
1197	1196	/// [changes]: io#platform-specific-behavior
1198	1197	/// [`Stdin`]: crate::io::Stdin

Update description of the IsTerminal example · model-checking/verify-rust-std@bf7430f (original) (raw)