Skip to content

Commit f289a24

Browse files
lnicolalnicola
committed
Bump rustc crates again
1 parent 28849aa commit f289a24

File tree

11 files changed

+50
-57
lines changed

11 files changed

+50
-57
lines changed

‎Cargo.lock‎

Lines changed: 22 additions & 22 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -89,14 +89,14 @@ vfs-notify = { path = "./crates/vfs-notify", version = "0.0.0" }
8989
vfs = { path = "./crates/vfs", version = "0.0.0" }
9090
edition = { path = "./crates/edition", version = "0.0.0" }
9191

92-
ra-ap-rustc_lexer = { version = "0.129", default-features = false }
93-
ra-ap-rustc_parse_format = { version = "0.129", default-features = false }
94-
ra-ap-rustc_index = { version = "0.129", default-features = false }
95-
ra-ap-rustc_abi = { version = "0.129", default-features = false }
96-
ra-ap-rustc_pattern_analysis = { version = "0.129", default-features = false }
97-
ra-ap-rustc_ast_ir = { version = "0.129", default-features = false }
98-
ra-ap-rustc_type_ir = { version = "0.129", default-features = false }
99-
ra-ap-rustc_next_trait_solver = { version = "0.129", default-features = false }
92+
ra-ap-rustc_lexer = { version = "0.130", default-features = false }
93+
ra-ap-rustc_parse_format = { version = "0.130", default-features = false }
94+
ra-ap-rustc_index = { version = "0.130", default-features = false }
95+
ra-ap-rustc_abi = { version = "0.130", default-features = false }
96+
ra-ap-rustc_pattern_analysis = { version = "0.130", default-features = false }
97+
ra-ap-rustc_ast_ir = { version = "0.130", default-features = false }
98+
ra-ap-rustc_type_ir = { version = "0.130", default-features = false }
99+
ra-ap-rustc_next_trait_solver = { version = "0.130", default-features = false }
100100

101101
# local crates that aren't published to crates.io. These should not have versions.
102102

‎crates/hir-ty/src/display.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -897,7 +897,7 @@ fn render_const_scalar_inner(
897897
}
898898
f.write_str("]")
899899
}
900-
TyKind::Dynamic(_, _, _) => {
900+
TyKind::Dynamic(_, _) => {
901901
let addr = usize::from_le_bytes(b[0..b.len() / 2].try_into().unwrap());
902902
let ty_id = usize::from_le_bytes(b[b.len() / 2..].try_into().unwrap());
903903
let Ok(t) = memory_map.vtable_ty(ty_id) else {
@@ -1064,7 +1064,7 @@ fn render_const_scalar_inner(
10641064
| TyKind::Bound(_, _)
10651065
| TyKind::Infer(_) => f.write_str("<placeholder-or-unknown-type>"),
10661066
// The below arms are unreachable, since we handled them in ref case.
1067-
TyKind::Slice(_) | TyKind::Str | TyKind::Dynamic(_, _, _) => f.write_str("<unsized-value>"),
1067+
TyKind::Slice(_) | TyKind::Str | TyKind::Dynamic(_, _) => f.write_str("<unsized-value>"),
10681068
}
10691069
}
10701070

@@ -1213,7 +1213,7 @@ impl<'db> HirDisplay for crate::next_solver::Ty<'db> {
12131213
})
12141214
};
12151215
let (preds_to_print, has_impl_fn_pred) = match t.kind() {
1216-
TyKind::Dynamic(bounds, region, _) => {
1216+
TyKind::Dynamic(bounds, region) => {
12171217
let render_lifetime = f.render_region(region);
12181218
(
12191219
bounds.len() + render_lifetime as usize,

‎crates/hir-ty/src/infer/coerce.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -611,7 +611,7 @@ impl<'a, 'b, 'db> Coerce<'a, 'b, 'db> {
611611
| TyKind::Slice(_)
612612
| TyKind::FnDef(_, _)
613613
| TyKind::FnPtr(_, _)
614-
| TyKind::Dynamic(_, _, _)
614+
| TyKind::Dynamic(_, _)
615615
| TyKind::Closure(_, _)
616616
| TyKind::CoroutineClosure(_, _)
617617
| TyKind::Coroutine(_, _)

‎crates/hir-ty/src/lower_nextsolver.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -790,7 +790,7 @@ impl<'db, 'a> TyLoweringContext<'db, 'a> {
790790
},
791791
None => Region::new_static(self.interner),
792792
};
793-
Ty::new_dynamic(self.interner, bounds, region, rustc_type_ir::DynKind::Dyn)
793+
Ty::new_dynamic(self.interner, bounds, region)
794794
} else {
795795
// FIXME: report error
796796
// (additional non-auto traits, associated type rebound, or no resolved trait)

‎crates/hir-ty/src/method_resolution.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,7 @@ impl TyFingerprint {
164164
rustc_ast_ir::Mutability::Not => TyFingerprint::RawPtr(Mutability::Not),
165165
},
166166
TyKind::Foreign(def) => TyFingerprint::ForeignType(crate::to_foreign_def_id(def.0)),
167-
TyKind::Dynamic(bounds, _, _) => {
167+
TyKind::Dynamic(bounds, _) => {
168168
let trait_ref = bounds
169169
.as_slice()
170170
.iter()

‎crates/hir-ty/src/mir/eval.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2446,7 +2446,7 @@ impl<'db> Evaluator<'db> {
24462446
| TyKind::Foreign(_)
24472447
| TyKind::Error(_)
24482448
| TyKind::Placeholder(_)
2449-
| TyKind::Dynamic(_, _, _)
2449+
| TyKind::Dynamic(_, _)
24502450
| TyKind::Alias(_, _)
24512451
| TyKind::Bound(_, _)
24522452
| TyKind::Infer(_)

‎crates/hir-ty/src/next_solver/fulfill/errors.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1146,7 +1146,7 @@ mod wf {
11461146
}
11471147
TyKind::UnsafeBinder(ty) => {}
11481148

1149-
TyKind::Dynamic(data, r, _) => {
1149+
TyKind::Dynamic(data, r) => {
11501150
// WfObject
11511151
//
11521152
// Here, we defer WF checking due to higher-ranked

‎crates/hir-ty/src/next_solver/mapping.rs‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -370,8 +370,7 @@ impl<'db> ChalkToNextSolver<'db, Ty<'db>> for chalk_ir::Ty<Interner> {
370370
}),
371371
);
372372
let region = dyn_ty.lifetime.to_nextsolver(interner);
373-
let kind = rustc_type_ir::DynKind::Dyn;
374-
rustc_type_ir::TyKind::Dynamic(bounds, region, kind)
373+
rustc_type_ir::TyKind::Dynamic(bounds, region)
375374
}
376375
chalk_ir::TyKind::Alias(alias_ty) => match alias_ty {
377376
chalk_ir::AliasTy::Projection(projection_ty) => {
@@ -1445,8 +1444,7 @@ pub(crate) fn convert_ty_for_result<'db>(interner: DbInterner<'db>, ty: Ty<'db>)
14451444
TyKind::Function(fnptr)
14461445
}
14471446

1448-
rustc_type_ir::TyKind::Dynamic(preds, region, dyn_kind) => {
1449-
assert!(matches!(dyn_kind, rustc_type_ir::DynKind::Dyn));
1447+
rustc_type_ir::TyKind::Dynamic(preds, region) => {
14501448
let self_ty = Ty::new_bound(
14511449
interner,
14521450
DebruijnIndex::from_u32(1),

‎crates/hir-ty/src/next_solver/ty.rs‎

Lines changed: 9 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -178,7 +178,7 @@ impl<'db> Ty<'db> {
178178
| TyKind::Never
179179
| TyKind::Error(_) => true,
180180

181-
TyKind::Str | TyKind::Slice(_) | TyKind::Dynamic(_, _, _) => match sizedness {
181+
TyKind::Str | TyKind::Slice(_) | TyKind::Dynamic(_, _) => match sizedness {
182182
SizedTraitKind::Sized => false,
183183
SizedTraitKind::MetaSized => true,
184184
},
@@ -421,7 +421,7 @@ impl<'db> TypeSuperVisitable<DbInterner<'db>> for Ty<'db> {
421421
}
422422
TyKind::Slice(typ) => typ.visit_with(visitor),
423423
TyKind::Adt(_, args) => args.visit_with(visitor),
424-
TyKind::Dynamic(ref trait_ty, ref reg, _) => {
424+
TyKind::Dynamic(ref trait_ty, ref reg) => {
425425
try_visit!(trait_ty.visit_with(visitor));
426426
reg.visit_with(visitor)
427427
}
@@ -486,11 +486,9 @@ impl<'db> TypeSuperFoldable<DbInterner<'db>> for Ty<'db> {
486486
}
487487
TyKind::Slice(typ) => TyKind::Slice(typ.try_fold_with(folder)?),
488488
TyKind::Adt(tid, args) => TyKind::Adt(tid, args.try_fold_with(folder)?),
489-
TyKind::Dynamic(trait_ty, region, representation) => TyKind::Dynamic(
490-
trait_ty.try_fold_with(folder)?,
491-
region.try_fold_with(folder)?,
492-
representation,
493-
),
489+
TyKind::Dynamic(trait_ty, region) => {
490+
TyKind::Dynamic(trait_ty.try_fold_with(folder)?, region.try_fold_with(folder)?)
491+
}
494492
TyKind::Tuple(ts) => TyKind::Tuple(ts.try_fold_with(folder)?),
495493
TyKind::FnDef(def_id, args) => TyKind::FnDef(def_id, args.try_fold_with(folder)?),
496494
TyKind::FnPtr(sig_tys, hdr) => TyKind::FnPtr(sig_tys.try_fold_with(folder)?, hdr),
@@ -537,11 +535,9 @@ impl<'db> TypeSuperFoldable<DbInterner<'db>> for Ty<'db> {
537535
TyKind::Array(typ, sz) => TyKind::Array(typ.fold_with(folder), sz.fold_with(folder)),
538536
TyKind::Slice(typ) => TyKind::Slice(typ.fold_with(folder)),
539537
TyKind::Adt(tid, args) => TyKind::Adt(tid, args.fold_with(folder)),
540-
TyKind::Dynamic(trait_ty, region, representation) => TyKind::Dynamic(
541-
trait_ty.fold_with(folder),
542-
region.fold_with(folder),
543-
representation,
544-
),
538+
TyKind::Dynamic(trait_ty, region) => {
539+
TyKind::Dynamic(trait_ty.fold_with(folder), region.fold_with(folder))
540+
}
545541
TyKind::Tuple(ts) => TyKind::Tuple(ts.fold_with(folder)),
546542
TyKind::FnDef(def_id, args) => TyKind::FnDef(def_id, args.fold_with(folder)),
547543
TyKind::FnPtr(sig_tys, hdr) => TyKind::FnPtr(sig_tys.fold_with(folder), hdr),
@@ -676,9 +672,8 @@ impl<'db> rustc_type_ir::inherent::Ty<DbInterner<'db>> for Ty<'db> {
676672
interner: DbInterner<'db>,
677673
preds: <DbInterner<'db> as rustc_type_ir::Interner>::BoundExistentialPredicates,
678674
region: <DbInterner<'db> as rustc_type_ir::Interner>::Region,
679-
kind: rustc_type_ir::DynKind,
680675
) -> Self {
681-
Ty::new(interner, TyKind::Dynamic(preds, region, kind))
676+
Ty::new(interner, TyKind::Dynamic(preds, region))
682677
}
683678

684679
fn new_coroutine(

0 commit comments

Comments
 (0)