rust-analyzer

diff --git a/crates/hir-def/src/data/adt.rs b/crates/hir-def/src/data/adt.rs
index aaa260a358..8fc1985403 100644
--- a/crates/hir-def/src/data/adt.rs
+++ b/crates/hir-def/src/data/adt.rs

@@ -85,7 +85,6 @@ pub struct FieldData {

pub name: Name,

pub type_ref: TypeRefId,

pub visibility: RawVisibility,

- pub has_default: bool,

}

fn repr_from_value(

@@ -479,6 +478,5 @@ fn lower_field(

name: field.name.clone(),

type_ref: field.type_ref,

visibility: item_tree[override_visibility.unwrap_or(field.visibility)].clone(),

- has_default: field.has_default,

}

diff --git a/crates/hir-def/src/expr_store/lower.rs b/crates/hir-def/src/expr_store/lower.rs
index 2cabd0f979..35cd8f3c69 100644
--- a/crates/hir-def/src/expr_store/lower.rs
+++ b/crates/hir-def/src/expr_store/lower.rs

@@ -603,10 +603,9 @@ impl ExprCollector<'_> {

})

.collect();

let spread = nfl.spread().map(|s| self.collect_expr(s));

- let ellipsis = nfl.dotdot_token().is_some();

- Expr::RecordLit { path, fields, spread, ellipsis }

+ Expr::RecordLit { path, fields, spread }

} else {

- Expr::RecordLit { path, fields: Box::default(), spread: None, ellipsis: false }

+ Expr::RecordLit { path, fields: Box::default(), spread: None }

};

self.alloc_expr(record_lit, syntax_ptr)

diff --git a/crates/hir-def/src/expr_store/pretty.rs b/crates/hir-def/src/expr_store/pretty.rs
index 9a8a8c2cd0..6ba0bbd61c 100644
--- a/crates/hir-def/src/expr_store/pretty.rs
+++ b/crates/hir-def/src/expr_store/pretty.rs

@@ -398,7 +398,7 @@ impl Printer<'_> {

self.print_expr(*expr);

}

- Expr::RecordLit { path, fields, spread, ellipsis: _ } => {

+ Expr::RecordLit { path, fields, spread } => {

match path {

Some(path) => self.print_path(path),

None => w!(self, "�"),

diff --git a/crates/hir-def/src/hir.rs b/crates/hir-def/src/hir.rs
index 1e2417ecdf..0dcddf162b 100644
--- a/crates/hir-def/src/hir.rs
+++ b/crates/hir-def/src/hir.rs

@@ -252,7 +252,6 @@ pub enum Expr {

path: Option<Box<Path>>,

fields: Box<[RecordLitField]>,

spread: Option<ExprId>,

- ellipsis: bool,

Field {

expr: ExprId,

diff --git a/crates/hir-def/src/item_tree.rs b/crates/hir-def/src/item_tree.rs
index 82e6ff821b..8d5b3eeb28 100644
--- a/crates/hir-def/src/item_tree.rs
+++ b/crates/hir-def/src/item_tree.rs

@@ -1007,7 +1007,6 @@ pub struct Field {

pub name: Name,

pub type_ref: TypeRefId,

pub visibility: RawVisibilityId,

- pub has_default: bool,

}

#[derive(Debug, Clone, Eq, PartialEq)]

diff --git a/crates/hir-def/src/item_tree/lower.rs b/crates/hir-def/src/item_tree/lower.rs
index 69a1933079..71848845a8 100644
--- a/crates/hir-def/src/item_tree/lower.rs
+++ b/crates/hir-def/src/item_tree/lower.rs

@@ -319,9 +319,8 @@ impl<'a> Ctx<'a> {

};

let visibility = self.lower_visibility(field);

let type_ref = TypeRef::from_ast_opt(body_ctx, field.ty());

- let has_default = field.expr().is_some();

- Field { name, type_ref, visibility, has_default }

+ Field { name, type_ref, visibility }

}

fn lower_tuple_field(

@@ -333,7 +332,7 @@ impl<'a> Ctx<'a> {

let name = Name::new_tuple_field(idx);

let visibility = self.lower_visibility(field);

let type_ref = TypeRef::from_ast_opt(body_ctx, field.ty());

- Field { name, type_ref, visibility, has_default: false }

+ Field { name, type_ref, visibility }

}

fn lower_union(&mut self, union: &ast::Union) -> Option<FileItemTreeId<Union>> {

diff --git a/crates/hir-def/src/item_tree/pretty.rs b/crates/hir-def/src/item_tree/pretty.rs
index 1e765ac78e..70bf2f13c8 100644
--- a/crates/hir-def/src/item_tree/pretty.rs
+++ b/crates/hir-def/src/item_tree/pretty.rs

@@ -135,9 +135,7 @@ impl Printer<'_> {

self.whitespace();

w!(self, "{{");

self.indented(|this| {

- for (idx, Field { name, type_ref, visibility, has_default: _ }) in

- fields.iter().enumerate()

- {

+ for (idx, Field { name, type_ref, visibility }) in fields.iter().enumerate() {

this.print_attrs_of(

AttrOwner::Field(parent, Idx::from_raw(RawIdx::from(idx as u32))),

"\n",

@@ -153,9 +151,7 @@ impl Printer<'_> {

FieldsShape::Tuple => {

w!(self, "(");

self.indented(|this| {

- for (idx, Field { name, type_ref, visibility, has_default: _ }) in

- fields.iter().enumerate()

- {

+ for (idx, Field { name, type_ref, visibility }) in fields.iter().enumerate() {

this.print_attrs_of(

AttrOwner::Field(parent, Idx::from_raw(RawIdx::from(idx as u32))),

"\n",

diff --git a/crates/hir-ty/src/diagnostics/expr.rs b/crates/hir-ty/src/diagnostics/expr.rs
index d8700e2777..0b5f131924 100644
--- a/crates/hir-ty/src/diagnostics/expr.rs
+++ b/crates/hir-ty/src/diagnostics/expr.rs

@@ -547,8 +547,8 @@ pub fn record_literal_missing_fields(

id: ExprId,

expr: &Expr,

) -> Option<(VariantId, Vec<LocalFieldId>, /*exhaustive*/ bool)> {

- let (fields, exhaustive, ellipsis) = match expr {

- Expr::RecordLit { fields, spread, ellipsis, .. } => (fields, spread.is_none(), *ellipsis),

+ let (fields, exhaustive) = match expr {

+ Expr::RecordLit { fields, spread, .. } => (fields, spread.is_none()),

_ => return None,

};

@@ -563,13 +563,7 @@ pub fn record_literal_missing_fields(

let missed_fields: Vec<LocalFieldId> = variant_data

.fields()

.iter()

- .filter_map(|(f, d)| {

- if (ellipsis && d.has_default) || specified_fields.contains(&d.name) {

- None

- } else {

- Some(f)

- }

- })

+ .filter_map(|(f, d)| if specified_fields.contains(&d.name) { None } else { Some(f) })

.collect();

if missed_fields.is_empty() {

return None;

diff --git a/crates/hir-ty/src/infer/mutability.rs b/crates/hir-ty/src/infer/mutability.rs
index 5b6c3cd152..d74a383f44 100644
--- a/crates/hir-ty/src/infer/mutability.rs
+++ b/crates/hir-ty/src/infer/mutability.rs

@@ -121,7 +121,7 @@ impl InferenceContext<'_> {

Expr::Become { expr } => {

self.infer_mut_expr(*expr, Mutability::Not);

}

- Expr::RecordLit { path: _, fields, spread, ellipsis: _ } => {

+ Expr::RecordLit { path: _, fields, spread } => {

self.infer_mut_not_expr_iter(fields.iter().map(|it| it.expr).chain(*spread))

}

&Expr::Index { base, index } => {

diff --git a/crates/hir-ty/src/mir/lower.rs b/crates/hir-ty/src/mir/lower.rs
index 85e8d17203..23072011a7 100644
--- a/crates/hir-ty/src/mir/lower.rs
+++ b/crates/hir-ty/src/mir/lower.rs

@@ -823,7 +823,7 @@ impl<'ctx> MirLowerCtx<'ctx> {

}

Expr::Become { .. } => not_supported!("tail-calls"),

Expr::Yield { .. } => not_supported!("yield"),

- Expr::RecordLit { fields, path, spread, ellipsis: _ } => {

+ Expr::RecordLit { fields, path, spread } => {

let spread_place = match spread {

&Some(it) => {

let Some((p, c)) = self.lower_expr_as_place(current, it, true)? else {

diff --git a/crates/ide-diagnostics/src/handlers/missing_fields.rs b/crates/ide-diagnostics/src/handlers/missing_fields.rs
index c495df9daa..938b7182bc 100644
--- a/crates/ide-diagnostics/src/handlers/missing_fields.rs
+++ b/crates/ide-diagnostics/src/handlers/missing_fields.rs

@@ -846,35 +846,4 @@ pub struct Claims {

"#,

);

}

- #[test]

- fn default_field_values() {

- check_diagnostics(

- r#"

-struct F {

- field1: i32 = 4,

- field2: bool,

-fn f() {

- let _f = F {

- field2: true,

- ..

- };

- let _f = F {

- //^ 💡 error: missing structure fields:

- //| - field1

- field2: true,

- };

- let _f = F {

- //^ 💡 error: missing structure fields:

- //| - field2

- ..

- };

-"#,

- );

- }

}