Improve dead code analysis · model-checking/verify-rust-std@f58a3d6 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit f58a3d6

Improve dead code analysis

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -103,7 +103,6 @@ use crate::ascii::Char as AsciiChar;
103 103 /// ```
104 104 #[cfg_attr(not(test), rustc_diagnostic_item = "Default")]
105 105 #[stable(feature = "rust1", since = "1.0.0")]
106 -#[cfg_attr(not(bootstrap), rustc_trivial_field_reads)]
107 106 pub trait Default: Sized {
108 107 /// Returns the "default value" for a type.
109 108 ///