diff --git a/compiler/rustc_lint/src/builtin.rs b/compiler/rustc_lint/src/builtin.rs index e449cd8c755..905a808f51f 100644 --- a/compiler/rustc_lint/src/builtin.rs +++ b/compiler/rustc_lint/src/builtin.rs @@ -2969,32 +2969,21 @@ declare_lint! { /// which causes [undefined behavior]. /// /// ### Example + /// /// ```rust,no_run + /// # #![allow(unused)] /// unsafe { - /// &*core::ptr::null::() - /// }; - /// ``` - /// ```rust,no_run - /// unsafe { - /// core::ptr::addr_of!(*std::ptr::null::()) - /// }; - /// ``` - /// ```rust,no_run - /// unsafe { - /// *core::ptr::null::() - /// }; - /// ``` - /// ```rust,no_run - /// unsafe { - /// *(0 as *const i32) - /// }; + /// let x = &*core::ptr::null::(); + /// let x = core::ptr::addr_of!(*std::ptr::null::()); + /// let x = *core::ptr::null::(); + /// let x = *(0 as *const i32); + /// } /// ``` /// /// {{produces}} /// /// ### Explanation /// - /// /// Dereferencing a null pointer causes [undefined behavior] even as a place expression, /// like `&*(0 as *const i32)` or `addr_of!(*(0 as *const i32))`. ///