Skip to content

Commit 6ea91a4

Browse files
bors[bot]matklad
andauthored
Merge #8695
8695: internal: fix naming polarity r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
2 parents 80bee14 + 1a01a5a commit 6ea91a4

File tree

8 files changed

+12
-12
lines changed

8 files changed

+12
-12
lines changed

crates/hir/src/display.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -170,7 +170,7 @@ impl HirDisplay for Field {
170170
fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> {
171171
write_visibility(self.parent.module(f.db).id, self.visibility(f.db), f)?;
172172
write!(f, "{}: ", self.name(f.db))?;
173-
self.signature_ty(f.db).hir_fmt(f)
173+
self.ty(f.db).hir_fmt(f)
174174
}
175175
}
176176

crates/hir/src/lib.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -509,7 +509,7 @@ impl Field {
509509
/// placeholder types for type parameters). This is good for showing
510510
/// signature help, but not so good to actually get the type of the field
511511
/// when you actually have a variable of the struct.
512-
pub fn signature_ty(&self, db: &dyn HirDatabase) -> Type {
512+
pub fn ty(&self, db: &dyn HirDatabase) -> Type {
513513
let var_id = self.parent.into();
514514
let generic_def_id: GenericDefId = match self.parent {
515515
VariantDef::Struct(it) => it.id.into(),
@@ -1984,7 +1984,7 @@ impl Type {
19841984
None
19851985
}
19861986

1987-
pub fn type_parameters(&self) -> impl Iterator<Item = Type> + '_ {
1987+
pub fn type_arguments(&self) -> impl Iterator<Item = Type> + '_ {
19881988
self.ty
19891989
.strip_references()
19901990
.as_adt()

crates/ide/src/runnables.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -304,11 +304,11 @@ fn module_def_doctest(sema: &Semantics<RootDatabase>, def: hir::ModuleDef) -> Op
304304
let name = adt.name(sema.db);
305305
let idx = path.rfind(':').map_or(0, |idx| idx + 1);
306306
let (prefix, suffix) = path.split_at(idx);
307-
let mut ty_params = ty.type_parameters().peekable();
308-
let params = if ty_params.peek().is_some() {
307+
let mut ty_args = ty.type_arguments().peekable();
308+
let params = if ty_args.peek().is_some() {
309309
format!(
310310
"<{}>",
311-
ty_params.format_with(", ", |ty, cb| cb(&ty.display(sema.db)))
311+
ty_args.format_with(", ", |ty, cb| cb(&ty.display(sema.db)))
312312
)
313313
} else {
314314
String::new()

crates/ide_assists/src/handlers/extract_function.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1183,7 +1183,7 @@ fn make_ret_ty(ctx: &AssistContext, module: hir::Module, fun: &Function) -> Opti
11831183
}
11841184
FlowHandler::Try { kind: TryKind::Result { ty: parent_ret_ty } } => {
11851185
let handler_ty = parent_ret_ty
1186-
.type_parameters()
1186+
.type_arguments()
11871187
.nth(1)
11881188
.map(|ty| make_ty(&ty, ctx, module))
11891189
.unwrap_or_else(make::ty_unit);

crates/ide_assists/src/handlers/generate_from_impl_for_enum.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ fn existing_from_impl(
9191

9292
let enum_type = enum_.ty(sema.db);
9393

94-
let wrapped_type = variant.fields(sema.db).get(0)?.signature_ty(sema.db);
94+
let wrapped_type = variant.fields(sema.db).get(0)?.ty(sema.db);
9595

9696
if enum_type.impls_trait(sema.db, from_trait, &[wrapped_type]) {
9797
Some(())

crates/ide_assists/src/utils/suggest_name.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -227,7 +227,7 @@ fn name_of_type(ty: &hir::Type, db: &RootDatabase) -> Option<String> {
227227
let name = adt.name(db).to_string();
228228

229229
if WRAPPER_TYPES.contains(&name.as_str()) {
230-
let inner_ty = ty.type_parameters().next()?;
230+
let inner_ty = ty.type_arguments().next()?;
231231
return name_of_type(&inner_ty, db);
232232
}
233233

crates/ide_completion/src/context.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -347,7 +347,7 @@ impl<'a> CompletionContext<'a> {
347347
.and_then(|node| ast::RecordExprField::cast(node))
348348
.and_then(|rf| self.sema.resolve_record_field(&rf).zip(Some(rf)))
349349
.map(|(f, rf)|(
350-
Some(f.0.signature_ty(self.db)),
350+
Some(f.0.ty(self.db)),
351351
rf.field_name().map(NameOrNameRef::NameRef),
352352
))
353353
.unwrap_or((None, None))
@@ -357,7 +357,7 @@ impl<'a> CompletionContext<'a> {
357357
self.sema
358358
.resolve_record_field(&it)
359359
.map(|f|(
360-
Some(f.0.signature_ty(self.db)),
360+
Some(f.0.ty(self.db)),
361361
it.field_name().map(NameOrNameRef::NameRef),
362362
))
363363
.unwrap_or((None, None))

crates/ide_completion/src/render/enum_variant.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@ impl<'a> EnumRender<'a> {
9393
.variant
9494
.fields(self.ctx.db())
9595
.into_iter()
96-
.map(|field| (field.name(self.ctx.db()), field.signature_ty(self.ctx.db())));
96+
.map(|field| (field.name(self.ctx.db()), field.ty(self.ctx.db())));
9797

9898
match self.variant_kind {
9999
StructKind::Tuple | StructKind::Unit => format!(

0 commit comments

Comments
 (0)