Mark some PanicInfo methods as #[inline] for consistency. · model-checking/verify-rust-std@a18eeac (original) (raw)

Original file line number Diff line number Diff line change
@@ -76,6 +76,7 @@ impl<'a> PanicInfo<'a> {
76 76 /// panic!("Normal panic");
77 77 /// ```
78 78 #[must_use]
79 +#[inline]
79 80 #[stable(feature = "panic_hooks", since = "1.10.0")]
80 81 pub fn payload(&self) -> &(dyn Any + Send) {
81 82 self.payload
@@ -106,6 +107,7 @@ impl<'a> PanicInfo<'a> {
106 107 /// panic!("Normal panic");
107 108 /// ```
108 109 #[must_use]
110 +#[inline]
109 111 #[stable(feature = "panic_hooks", since = "1.10.0")]
110 112 pub fn location(&self) -> Option<&Location<'_>> {
111 113 // NOTE: If this is changed to sometimes return None,
@@ -124,6 +126,7 @@ impl<'a> PanicInfo<'a> {
124 126 /// false, however this will simply cause the panic handler to be called
125 127 /// again.
126 128 #[must_use]
129 +#[inline]
127 130 #[unstable(feature = "panic_can_unwind", issue = "92988")]
128 131 pub fn can_unwind(&self) -> bool {
129 132 self.can_unwind