Skip to content

Commit 72c54c5

Browse files
committed
Rename TyKind::ForeignType to Foreign
1 parent 65c2e51 commit 72c54c5

File tree

7 files changed

+10
-10
lines changed

7 files changed

+10
-10
lines changed

crates/hir/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1900,7 +1900,7 @@ impl Type {
19001900
| TyKind::Dyn(_)
19011901
| TyKind::Function(_)
19021902
| TyKind::Alias(_)
1903-
| TyKind::ForeignType(_) => false,
1903+
| TyKind::Foreign(_) => false,
19041904
}
19051905
}
19061906
}

crates/hir_ty/src/display.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -529,7 +529,7 @@ impl HirDisplay for Ty {
529529
projection_ty.hir_fmt(f)?;
530530
}
531531
}
532-
TyKind::ForeignType(type_alias) => {
532+
TyKind::Foreign(type_alias) => {
533533
let type_alias = f.db.type_alias_data(from_foreign_def_id(*type_alias));
534534
write!(f, "{}", type_alias.name)?;
535535
}

crates/hir_ty/src/lib.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -290,7 +290,7 @@ impl Ty {
290290
Some(db.lookup_intern_callable_def(callable.into()).into())
291291
}
292292
TyKind::AssociatedType(type_alias, ..) => Some(from_assoc_type_id(type_alias).into()),
293-
TyKind::ForeignType(type_alias, ..) => Some(from_foreign_def_id(type_alias).into()),
293+
TyKind::Foreign(type_alias, ..) => Some(from_foreign_def_id(type_alias).into()),
294294
_ => None,
295295
}
296296
}
@@ -312,7 +312,7 @@ impl Ty {
312312
(TyKind::AssociatedType(ty_id, ..), TyKind::AssociatedType(ty_id2, ..)) => {
313313
ty_id == ty_id2
314314
}
315-
(TyKind::ForeignType(ty_id, ..), TyKind::ForeignType(ty_id2, ..)) => ty_id == ty_id2,
315+
(TyKind::Foreign(ty_id, ..), TyKind::Foreign(ty_id2, ..)) => ty_id == ty_id2,
316316
(TyKind::Closure(id1, _), TyKind::Closure(id2, _)) => id1 == id2,
317317
(TyKind::Ref(mutability, ..), TyKind::Ref(mutability2, ..))
318318
| (TyKind::Raw(mutability, ..), TyKind::Raw(mutability2, ..)) => {

crates/hir_ty/src/lower.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1145,7 +1145,7 @@ fn type_for_type_alias(db: &dyn HirDatabase, t: TypeAliasId) -> Binders<Ty> {
11451145
let ctx =
11461146
TyLoweringContext::new(db, &resolver).with_type_param_mode(TypeParamLoweringMode::Variable);
11471147
if db.type_alias_data(t).is_extern {
1148-
Binders::new(0, TyKind::ForeignType(crate::to_foreign_def_id(t)).intern(&Interner))
1148+
Binders::new(0, TyKind::Foreign(crate::to_foreign_def_id(t)).intern(&Interner))
11491149
} else {
11501150
let type_ref = &db.type_alias_data(t).type_ref;
11511151
let inner = ctx.lower_ty(type_ref.as_deref().unwrap_or(&TypeRef::Error));

crates/hir_ty/src/method_resolution.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ impl TyFingerprint {
5555
TyKind::Adt(AdtId(adt), _) => TyFingerprint::Adt(adt),
5656
TyKind::Tuple(cardinality, _) => TyFingerprint::Tuple(cardinality),
5757
TyKind::Raw(mutability, ..) => TyFingerprint::RawPtr(mutability),
58-
TyKind::ForeignType(alias_id, ..) => TyFingerprint::ForeignType(alias_id),
58+
TyKind::Foreign(alias_id, ..) => TyFingerprint::ForeignType(alias_id),
5959
TyKind::Function(FnPointer { num_args, sig, .. }) => {
6060
TyFingerprint::FnPtr(num_args, sig)
6161
}
@@ -246,7 +246,7 @@ impl Ty {
246246
TyKind::Adt(AdtId(def_id), _) => {
247247
return mod_to_crate_ids(def_id.module(db.upcast()));
248248
}
249-
TyKind::ForeignType(id) => {
249+
TyKind::Foreign(id) => {
250250
return mod_to_crate_ids(
251251
from_foreign_def_id(*id).lookup(db.upcast()).module(db.upcast()),
252252
);

crates/hir_ty/src/traits/chalk/mapping.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ impl ToChalk for Ty {
4343
chalk_ir::TyKind::OpaqueType(id, substitution).intern(&Interner)
4444
}
4545

46-
TyKind::ForeignType(id) => chalk_ir::TyKind::Foreign(id).intern(&Interner),
46+
TyKind::Foreign(id) => chalk_ir::TyKind::Foreign(id).intern(&Interner),
4747

4848
TyKind::Scalar(scalar) => chalk_ir::TyKind::Scalar(scalar).intern(&Interner),
4949

@@ -181,7 +181,7 @@ impl ToChalk for Ty {
181181

182182
chalk_ir::TyKind::Closure(id, subst) => TyKind::Closure(id, from_chalk(db, subst)),
183183

184-
chalk_ir::TyKind::Foreign(foreign_def_id) => TyKind::ForeignType(foreign_def_id),
184+
chalk_ir::TyKind::Foreign(foreign_def_id) => TyKind::Foreign(foreign_def_id),
185185
chalk_ir::TyKind::Generator(_, _) => unimplemented!(), // FIXME
186186
chalk_ir::TyKind::GeneratorWitness(_, _) => unimplemented!(), // FIXME
187187
}

crates/hir_ty/src/types.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@ pub enum TyKind {
132132
Closure(ClosureId, Substitution),
133133

134134
/// Represents a foreign type declared in external blocks.
135-
ForeignType(ForeignDefId),
135+
Foreign(ForeignDefId),
136136

137137
/// A pointer to a function. Written as `fn() -> i32`.
138138
///

0 commit comments

Comments
 (0)