Matthias Krüger
d95c321062
Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obk
...
rename 'try' intrinsic to 'catch_unwind'
The intrinsic has nothing to do with `try` blocks, and corresponds to the stable `catch_unwind` function, so this makes a lot more sense IMO.
Also rename Miri's special function while we are at it, to reflect the level of abstraction it works on: it's an unwinding mechanism, on which Rust implements panics.
2024-02-27 00:40:00 +01:00
..
2024-02-26 10:40:48 +01:00
2024-02-21 20:15:52 +01:00
2024-02-25 22:24:31 +01:00
2024-02-25 22:24:31 +01:00
2024-02-21 17:02:30 +11:00
2024-02-25 22:24:31 +01:00
2024-02-15 08:09:42 +01:00
2023-11-15 19:41:28 -05:00
2024-02-26 10:17:43 +01:00
2024-02-25 22:25:26 +01:00
2024-02-27 00:40:00 +01:00
2024-02-26 11:10:18 +01:00
2024-02-27 00:40:00 +01:00
2024-02-25 01:27:44 +00:00
2024-02-24 21:08:39 +00:00
2024-02-24 18:53:48 +03:00
2023-11-15 19:41:28 -05:00
2024-02-22 08:03:47 +11:00
2024-02-18 06:01:40 +03:00
2024-02-15 10:34:41 +00:00
2024-02-23 19:56:35 +01:00
2024-02-25 22:24:31 +01:00
2024-02-26 16:06:03 +01:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-06 13:12:33 +11:00
2024-02-23 12:25:23 +00:00
2024-02-27 00:40:00 +01:00
2024-02-12 12:47:23 +08:00
2024-02-26 12:11:58 +00:00
2024-02-22 08:03:47 +11:00
2024-02-06 13:12:33 +11:00
2024-02-08 07:44:34 -05:00
2024-02-26 10:17:43 +01:00
2024-02-21 22:48:59 +01:00
2024-02-06 13:12:33 +11:00
2024-02-26 14:43:15 +00:00
2024-02-25 11:30:10 +01:00
2024-02-26 16:06:02 +01:00
2024-02-06 13:12:33 +11:00
2024-02-25 19:11:06 +00:00
2024-02-21 22:48:59 +01:00
2024-02-26 10:17:43 +01:00
2024-02-25 11:30:10 +01:00
2024-02-16 09:53:01 +00:00
2024-02-26 15:22:22 +05:30
2024-02-20 13:22:17 +11:00
2024-02-26 10:17:43 +01:00
2024-02-25 22:24:31 +01:00
2024-02-17 12:46:18 +01:00
2024-02-25 22:22:09 +01:00
2024-02-25 17:05:21 +01:00
2024-02-23 10:57:11 +11:00
2024-02-15 08:09:42 +01:00
2024-02-22 18:09:54 +01:00
2024-02-25 17:05:20 +01:00
2024-02-15 08:09:42 +01:00
2024-02-23 19:56:35 +01:00
2024-02-23 19:56:35 +01:00
2024-02-26 11:10:18 +01:00
2024-02-12 23:18:54 +01:00
2024-02-25 17:05:19 +01:00
2024-02-26 16:06:04 +01:00
2024-02-20 17:30:49 +01:00
2024-02-06 13:12:33 +11:00
2024-02-21 08:55:56 +00:00
2024-02-22 17:43:57 +01:00
2024-02-24 18:53:48 +03:00