Mention core's PanicInfo in error.md. · model-checking/verify-rust-std@2f85702 (original) (raw)

`@@ -17,8 +17,8 @@ The following are the primary interfaces of the panic system and the

`

17

17

`responsibilities they cover:

`

18

18

``

19

19

`` * [panic!] and [panic_any] (Constructing, Propagated automatically)

``

20

``

`` -

• [PanicHookInfo] (Reporting)

``

21

``

`` -

• [set_hook], [take_hook], and [#[panic_handler]][panic-handler] (Reporting)

``

``

20

`` +

• [set_hook], [take_hook], and [PanicHookInfo] (Reporting)

``

``

21

`` +

• [#[panic_handler]][panic-handler] and PanicInfo (Reporting in no_std)

``

22

22

`` * [catch_unwind] and [resume_unwind] (Discarding, Propagating)

``

23

23

``

24

24

`The following are the primary interfaces of the error system and the

`

`@@ -126,6 +126,7 @@ should be available and executable by the current user".

`

126

126

``

127

127

`` [panic_any]: ../../std/panic/fn.panic_any.html

``

128

128

`` [PanicHookInfo]: ../../std/panic/struct.PanicHookInfo.html

``

``

129

`` +

``

129

130

`` [catch_unwind]: ../../std/panic/fn.catch_unwind.html

``

130

131

`` [resume_unwind]: ../../std/panic/fn.resume_unwind.html

``

131

132

`` [downcast]: crate::error::Error

``