Jules Bertholet
5805040d28
Search span using *unnormalized* ident ( #6073 )
...
Fixes 6069
Calling `item.ident.as_str()` returns an NFC normalized ident, which
might not be what's written in the source code. To avoid panics when
calling `snippet_provider.span_after` use the ident from the source.
2024-02-14 14:40:55 -05:00
..
2021-10-20 00:11:59 -05:00
2023-01-24 14:16:03 -06:00
2022-03-29 23:17:30 -05:00
2024-01-20 11:14:50 -05:00
2022-06-12 22:03:05 -05:00
2022-06-22 22:14:32 -05:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2022-03-29 23:17:30 -05:00
2021-10-20 00:11:59 -05:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-11-07 20:37:34 -06:00
2021-11-07 20:37:34 -06:00
2022-03-29 23:17:30 -05:00
2021-12-29 20:49:39 -06:00
2021-12-02 21:35:30 -06:00
2022-03-29 23:17:30 -05:00
2021-12-29 20:49:39 -06:00
2022-03-29 23:17:30 -05:00
2022-03-29 23:17:30 -05:00
2022-03-29 23:17:30 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2024-01-08 10:06:25 -05:00
2023-10-22 20:21:44 -05:00
2023-12-23 22:39:01 -05:00
2023-06-19 23:13:56 -05:00
2021-12-29 20:49:39 -06:00
2023-10-22 20:21:44 -05:00
2022-03-29 23:17:30 -05:00
2022-03-29 23:17:30 -05:00
2022-03-29 23:17:30 -05:00
2023-08-24 11:17:54 +08:00
2021-12-29 20:49:39 -06:00
2022-07-12 21:00:13 +04:00
2023-01-24 14:16:03 -06:00
2023-06-19 23:13:56 -05:00
2021-11-07 20:37:34 -06:00
2023-01-24 14:16:03 -06:00
2023-03-12 13:19:46 +00:00
2023-10-22 20:21:44 -05:00
2022-03-29 23:17:30 -05:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2022-05-21 00:32:47 -04:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2023-10-20 21:14:02 +00:00
2023-11-01 20:21:05 -05:00
2021-10-20 00:11:59 -05:00
2022-06-12 22:03:05 -05:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2023-01-24 14:16:03 -06:00
2022-06-12 22:03:05 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-04-21 21:27:50 -05:00
2023-10-20 21:14:01 +00:00
2022-08-30 23:06:24 -04:00
2021-10-20 00:11:59 -05:00
2023-01-24 14:16:03 -06:00
2022-06-12 22:03:05 -05:00
2021-10-20 00:11:59 -05:00
2021-12-02 21:35:30 -06:00
2021-11-07 20:37:34 -06:00
2022-03-29 23:17:30 -05:00
2021-07-25 22:57:19 -05:00
2022-08-30 23:06:24 -04:00
2021-10-20 00:11:59 -05:00
2022-08-30 23:06:24 -04:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-12-02 21:35:30 -06:00
2021-12-02 21:35:30 -06:00
2022-03-29 23:17:30 -05:00
2022-06-22 22:14:32 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-01-24 14:16:03 -06:00
2023-10-22 20:21:44 -05:00
2023-06-19 23:13:56 -05:00
2023-06-19 23:13:56 -05:00
2023-10-22 20:21:44 -05:00
2023-06-19 23:13:56 -05:00
2023-06-19 23:13:56 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-23 20:27:26 -04:00
2024-02-14 14:40:55 -05:00
2023-01-11 09:32:13 +00:00
2023-12-10 13:03:28 -08:00
2023-12-10 13:03:28 -08:00
2021-10-20 00:11:59 -05:00
2022-08-23 21:14:12 -05:00
2024-01-28 19:07:30 -05:00
2023-10-22 20:21:44 -05:00
2023-06-19 23:13:56 -05:00
2023-06-19 23:13:56 -05:00
2023-06-19 23:13:56 -05:00
2021-04-21 21:30:42 -05:00
2021-02-17 20:47:20 -06:00
2021-10-20 00:11:59 -05:00
2021-02-17 20:19:27 -06:00
2023-01-24 14:16:03 -06:00
2023-10-22 20:21:44 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2021-10-20 00:11:59 -05:00
2022-03-29 23:17:30 -05:00
2022-06-12 22:03:05 -05:00
2021-12-02 21:35:30 -06:00
2023-06-19 23:13:56 -05:00
2022-06-12 22:03:05 -05:00
2023-01-24 14:16:03 -06:00
2023-06-19 23:13:56 -05:00
2023-10-22 20:21:44 -05:00
2023-06-19 23:13:56 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2021-11-07 20:37:34 -06:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-10-22 20:21:44 -05:00
2023-05-01 16:15:17 +08:00
2021-10-20 00:11:59 -05:00
2023-10-22 20:21:44 -05:00
2023-05-02 22:36:25 +00:00
2023-10-22 20:21:44 -05:00
2022-05-21 00:32:47 -04:00
2022-06-12 22:03:05 -05:00
2021-10-20 00:11:59 -05:00
2023-01-24 14:16:03 -06:00
2023-05-01 16:15:17 +08:00
2023-01-24 14:16:03 -06:00