Nilstrieb
e7fdba84e2
Rollup merge of #112060 - lcnr:early-binder, r=jackh726
...
`EarlyBinder::new` -> `EarlyBinder::bind`
for consistency with `Binder::bind`. it may make sense to also add `EarlyBinder::dummy` in places where we know that no parameters exist, but I left that out of this PR.
r? `@jackh726` `@kylematsuda`
2023-05-30 12:57:40 +02:00
..
2023-03-11 10:53:47 -06:00
2023-05-16 17:59:56 +10:00
2023-04-28 21:00:54 -07:00
2023-05-27 18:49:07 +08:00
2023-05-29 13:31:53 +00:00
2023-05-25 23:49:35 +00:00
2023-05-05 21:44:13 +02:00
2023-05-25 23:49:35 +00:00
2023-05-02 10:45:16 -07:00
2023-05-29 17:54:53 +00:00
2023-05-29 07:10:44 +00:00
2023-05-30 12:57:40 +02:00
2023-05-25 23:49:35 +00:00
2023-05-29 13:46:10 +02:00
2023-05-29 13:46:10 +02:00
2023-05-29 13:46:10 +02:00
2023-05-28 15:54:52 +02:00
2023-05-29 09:23:43 +10:00
2023-05-28 13:11:30 +02:00
2023-05-29 09:23:43 +10:00
2023-05-29 09:23:43 +10:00
2023-05-29 09:23:43 +10:00
2023-05-24 14:33:43 +00:00
2023-04-22 22:03:33 +01:00
2023-03-16 21:50:23 +01:00
2023-05-07 00:12:29 +03:00
2023-05-24 14:20:41 +00:00
2023-05-30 12:57:40 +02:00
2023-05-01 16:15:13 +08:00
2023-05-30 12:57:39 +02:00
2023-05-25 23:49:35 +00:00
2023-05-25 00:33:43 +00:00
2023-05-29 17:54:53 +00:00
2023-05-25 23:49:35 +00:00
2023-05-15 18:33:12 +10:00
2023-05-30 12:57:38 +02:00
2023-05-27 18:49:07 +08:00
2023-05-26 15:18:54 -04:00
2023-04-10 17:24:23 +09:00
2023-05-18 09:45:12 +02:00
2023-05-30 12:57:40 +02:00
2023-05-30 12:57:40 +02:00
2023-05-29 17:54:53 +00:00
2023-05-27 13:38:31 +02:00
2023-05-29 13:46:10 +02:00
2023-05-29 13:46:10 +02:00
2023-05-29 07:10:44 +00:00
2023-04-10 22:02:52 +02:00
2023-05-25 23:49:35 +00:00
2023-04-18 18:56:22 +00:00
2023-05-25 23:49:35 +00:00
2023-05-26 13:03:47 +03:00
2023-05-25 23:49:35 +00:00
2023-05-29 09:23:43 +10:00
2023-05-15 08:59:11 +10:00
2023-05-29 09:23:43 +10:00
2023-05-25 17:40:46 +00:00
2023-05-30 12:57:38 +02:00
2023-05-29 13:46:10 +02:00
2023-05-28 13:46:23 +01:00
2023-05-30 12:57:40 +02:00
2023-05-29 17:54:53 +00:00
2023-04-26 15:19:50 +10:00
2023-05-30 12:57:40 +02:00
2023-05-26 18:55:02 +01:00