Formatting. · model-checking/verify-rust-std@db2e055 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -101,8 +101,12 @@ pub const fn panic_nounwind_fmt(fmt: fmt::Arguments<'_>, force_no_backtrace: boo
101	101	}
102	102
103	103	// PanicInfo with the `can_unwind` flag set to false forces an abort.
104		-let pi =
105		-PanicInfo::new(fmt, Location::caller(), /* can_unwind */ false, force_no_backtrace);
	104	+let pi = PanicInfo::new(
	105	+ fmt,
	106	+Location::caller(),
	107	+/* can_unwind */ false,
	108	+ force_no_backtrace,
	109	+);
106	110
107	111	// SAFETY: `panic_impl` is defined in safe Rust code and thus is safe to call.
108	112	unsafe { panic_impl(&pi) }