Maybe Waffle
25b9263b34
Move GenericArgKind::as_{type,const,region} to GenericArg
2023-04-19 17:59:30 +00:00
Maybe Waffle
3f15521396
Add GenericArgKind::as_{type,const,region}
2023-04-19 14:54:31 +00:00
Gary Guo
daeb844e0c
Refactor unwind from Option to a new enum
2023-04-06 09:34:16 +01:00
Maybe Waffle
8751fa1a9a
if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r)
2023-02-16 15:26:00 +00:00
Kyle Matsuda
a969c194d8
fix up subst_identity vs skip_binder; add some FIXMEs as identified in review
2023-01-26 20:28:31 -07:00
Kyle Matsuda
c2414dfaa4
change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyBinder to fn_sig in metadata
2023-01-26 20:28:25 -07:00
Kyle Matsuda
e982971ff2
replace usages of fn_sig query with bound_fn_sig
2023-01-26 20:15:36 -07:00
Santiago Pastorino
974e2837bb
Introduce PredicateKind::Clause
2022-11-25 00:04:54 -03:00
Maybe Waffle
a8f7e244b7
Refactor rustc lint API
2022-10-01 10:03:06 +00:00
lcnr
647052fc04
remove the Subst trait, always use EarlyBinder
2022-09-19 11:37:27 +02:00
Jakob Degen
09b0936db2
Refactor call terminator to always hold a destination place
2022-05-23 17:49:04 -04:00
Jack Huey
319575ae8c
Introduce EarlyBinder
2022-05-10 22:47:18 -04:00
lcnr
7ebd48d006
remove TyS::same_type
...
it ignored regions and constants in adts,
but didn't do so for references or any other types.
This seemed quite weird
2022-02-01 11:21:26 +01:00
bors
e58e7b10e1
Auto merge of #90891 - nbdd0121:format, r=Mark-Simulacrum
...
Create `core::fmt::ArgumentV1` with generics instead of fn pointer
Split from (and prerequisite of) #90488 , as this seems to have perf implication.
`@rustbot` label: +T-libs
2022-01-31 00:04:46 +00:00
Gary Guo
a832f5f7bc
Create core::fmt::ArgumentV1 with generics instead of fn pointer
2022-01-29 13:52:19 +00:00
Mateusz Mikuła
bc8cef194b
rustc_mir_itertools: Avoid needless collect with itertools
2022-01-22 12:14:42 +01:00
Ellen
71bbb603f4
initial revert
2022-01-15 01:16:55 +00:00
Scott McMurray
a124924061
Remove in_band_lifetimes from rustc_mir_transform
...
This one is a heavy `'tcx` user.
Two interesting ones:
This one had the `'tcx` declared on the function, despite the trait taking a `'tcx`:
```diff
-impl Visitor<'_> for UsedLocals {
+impl<'tcx> Visitor<'tcx> for UsedLocals {
fn visit_statement(&mut self, statement: &Statement<'tcx>, location: Location) {
```
This one use in-band for one, and underscore for the other:
```diff
-pub fn remove_dead_blocks(tcx: TyCtxt<'tcx>, body: &mut Body<'_>) {
+pub fn remove_dead_blocks<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
```
2021-12-07 21:04:40 -08:00
Dylan MacKenzie
fd18b45e11
Update passes with new interface
2021-12-02 17:31:38 -08:00
Cameron Steffen
eec856bfbc
Make diangostic item names consistent
2021-10-02 19:38:19 -05:00
Camille GILLOT
bba4be681d
Move rustc_mir::transform to rustc_mir_transform.
2021-09-07 00:43:14 +02:00
