Add a test for field default value body as defining usage of TAIT

ShoyuVanilla · ShoyuVanilla · commit 6136ae24d868 · 2025-01-27T00:50:33.000+09:00
diff --git a/crates/hir-def/src/lib.rs b/crates/hir-def/src/lib.rs
@@ -1388,11 +1388,7 @@ impl HasModule for DefWithBodyId {
             DefWithBodyId::ConstId(it) => it.module(db),
             DefWithBodyId::VariantId(it) => it.module(db),
             DefWithBodyId::InTypeConstId(it) => it.lookup(db).owner.module(db),
-            DefWithBodyId::FieldId(it) => match it.parent {
-                VariantId::EnumVariantId(it) => it.module(db),
-                VariantId::StructId(it) => it.module(db),
-                VariantId::UnionId(it) => it.module(db),
-            },
+            DefWithBodyId::FieldId(it) => it.module(db),
         }
     }
 }
diff --git a/crates/hir-ty/src/tests.rs b/crates/hir-ty/src/tests.rs
@@ -16,19 +16,22 @@ use std::env;
 use std::sync::LazyLock;
 
 use base_db::SourceDatabaseFileInputExt as _;
+use either::Either;
 use expect_test::Expect;
 use hir_def::{
     body::{Body, BodySourceMap},
     db::DefDatabase,
     hir::{ExprId, Pat, PatId},
     item_scope::ItemScope,
     nameres::DefMap,
-    src::HasSource,
-    AssocItemId, DefWithBodyId, HasModule, LocalModuleId, Lookup, ModuleDefId, SyntheticSyntax,
+    src::{HasChildSource, HasSource},
+    AdtId, AssocItemId, DefWithBodyId, FieldId, HasModule, LocalModuleId, Lookup, ModuleDefId,
+    SyntheticSyntax,
 };
 use hir_expand::{db::ExpandDatabase, FileRange, InFile};
 use itertools::Itertools;
 use rustc_hash::FxHashMap;
+use span::TextSize;
 use stdx::format_to;
 use syntax::{
     ast::{self, AstNode, HasName},
@@ -132,14 +135,40 @@ fn check_impl(
             None => continue,
         };
         let def_map = module.def_map(&db);
-        visit_module(&db, &def_map, module.local_id, &mut |it| {
-            defs.push(match it {
-                ModuleDefId::FunctionId(it) => it.into(),
-                ModuleDefId::EnumVariantId(it) => it.into(),
-                ModuleDefId::ConstId(it) => it.into(),
-                ModuleDefId::StaticId(it) => it.into(),
-                _ => return,
-            })
+        visit_module(&db, &def_map, module.local_id, &mut |it| match it {
+            ModuleDefId::FunctionId(it) => defs.push(it.into()),
+            ModuleDefId::EnumVariantId(it) => {
+                defs.push(it.into());
+                let variant_id = it.into();
+                let vd = db.variant_data(variant_id);
+                defs.extend(vd.fields().iter().filter_map(|(local_id, fd)| {
+                    if fd.has_default {
+                        let field = FieldId { parent: variant_id, local_id, has_default: true };
+                        Some(DefWithBodyId::FieldId(field))
+                    } else {
+                        None
+                    }
+                }));
+            }
+            ModuleDefId::ConstId(it) => defs.push(it.into()),
+            ModuleDefId::StaticId(it) => defs.push(it.into()),
+            ModuleDefId::AdtId(it) => {
+                let variant_id = match it {
+                    AdtId::StructId(it) => it.into(),
+                    AdtId::UnionId(it) => it.into(),
+                    AdtId::EnumId(_) => return,
+                };
+                let vd = db.variant_data(variant_id);
+                defs.extend(vd.fields().iter().filter_map(|(local_id, fd)| {
+                    if fd.has_default {
+                        let field = FieldId { parent: variant_id, local_id, has_default: true };
+                        Some(DefWithBodyId::FieldId(field))
+                    } else {
+                        None
+                    }
+                }));
+            }
+            _ => {}
         });
     }
     defs.sort_by_key(|def| match def {
@@ -160,12 +189,20 @@ fn check_impl(
             loc.source(&db).value.syntax().text_range().start()
         }
         DefWithBodyId::InTypeConstId(it) => it.source(&db).syntax().text_range().start(),
-        DefWithBodyId::FieldId(_) => unreachable!(),
+        DefWithBodyId::FieldId(it) => {
+            let cs = it.parent.child_source(&db);
+            match cs.value.get(it.local_id) {
+                Some(Either::Left(it)) => it.syntax().text_range().start(),
+                Some(Either::Right(it)) => it.syntax().text_range().end(),
+                None => TextSize::new(u32::MAX),
+            }
+        }
     });
     let mut unexpected_type_mismatches = String::new();
     for def in defs {
         let (body, body_source_map) = db.body_with_source_map(def);
         let inference_result = db.infer(def);
+        dbg!(&inference_result);
 
         for (pat, mut ty) in inference_result.type_of_pat.iter() {
             if let Pat::Bind { id, .. } = body.pats[pat] {
@@ -389,14 +426,40 @@ fn infer_with_mismatches(content: &str, include_mismatches: bool) -> String {
     let def_map = module.def_map(&db);
 
     let mut defs: Vec<DefWithBodyId> = Vec::new();
-    visit_module(&db, &def_map, module.local_id, &mut |it| {
-        defs.push(match it {
-            ModuleDefId::FunctionId(it) => it.into(),
-            ModuleDefId::EnumVariantId(it) => it.into(),
-            ModuleDefId::ConstId(it) => it.into(),
-            ModuleDefId::StaticId(it) => it.into(),
-            _ => return,
-        })
+    visit_module(&db, &def_map, module.local_id, &mut |it| match it {
+        ModuleDefId::FunctionId(it) => defs.push(it.into()),
+        ModuleDefId::EnumVariantId(it) => {
+            defs.push(it.into());
+            let variant_id = it.into();
+            let vd = db.variant_data(variant_id);
+            defs.extend(vd.fields().iter().filter_map(|(local_id, fd)| {
+                if fd.has_default {
+                    let field = FieldId { parent: variant_id, local_id, has_default: true };
+                    Some(DefWithBodyId::FieldId(field))
+                } else {
+                    None
+                }
+            }));
+        }
+        ModuleDefId::ConstId(it) => defs.push(it.into()),
+        ModuleDefId::StaticId(it) => defs.push(it.into()),
+        ModuleDefId::AdtId(it) => {
+            let variant_id = match it {
+                AdtId::StructId(it) => it.into(),
+                AdtId::UnionId(it) => it.into(),
+                AdtId::EnumId(_) => return,
+            };
+            let vd = db.variant_data(variant_id);
+            defs.extend(vd.fields().iter().filter_map(|(local_id, fd)| {
+                if fd.has_default {
+                    let field = FieldId { parent: variant_id, local_id, has_default: true };
+                    Some(DefWithBodyId::FieldId(field))
+                } else {
+                    None
+                }
+            }));
+        }
+        _ => {}
     });
     defs.sort_by_key(|def| match def {
         DefWithBodyId::FunctionId(it) => {
@@ -416,7 +479,14 @@ fn infer_with_mismatches(content: &str, include_mismatches: bool) -> String {
             loc.source(&db).value.syntax().text_range().start()
         }
         DefWithBodyId::InTypeConstId(it) => it.source(&db).syntax().text_range().start(),
-        DefWithBodyId::FieldId(_) => unreachable!(),
+        DefWithBodyId::FieldId(it) => {
+            let cs = it.parent.child_source(&db);
+            match cs.value.get(it.local_id) {
+                Some(Either::Left(it)) => it.syntax().text_range().start(),
+                Some(Either::Right(it)) => it.syntax().text_range().end(),
+                None => TextSize::new(u32::MAX),
+            }
+        }
     });
     for def in defs {
         let (body, source_map) = db.body_with_source_map(def);
@@ -477,7 +547,7 @@ pub(crate) fn visit_module(
                     let body = db.body(it.into());
                     visit_body(db, &body, cb);
                 }
-                ModuleDefId::AdtId(hir_def::AdtId::EnumId(it)) => {
+                ModuleDefId::AdtId(AdtId::EnumId(it)) => {
                     db.enum_data(it).variants.iter().for_each(|&(it, _)| {
                         let body = db.body(it.into());
                         cb(it.into());
diff --git a/crates/hir-ty/src/tests/type_alias_impl_traits.rs b/crates/hir-ty/src/tests/type_alias_impl_traits.rs
@@ -157,5 +157,53 @@ static ALIAS: i32 = {
             217..218 '5': i32
             205..211: expected impl Trait + ?Sized, got Struct
         "#]],
-    )
+    );
+}
+
+#[test]
+fn defining_type_alias_impl_trait_from_default_fields() {
+    check_no_mismatches(
+        r#"
+trait Trait {}
+
+struct Struct;
+
+impl Trait for Struct {}
+
+type AliasTy = impl Trait;
+
+struct Foo {
+    foo: AliasTy = {
+        let x: AliasTy = Struct;
+        x
+    },
+}
+"#,
+    );
+
+    check_infer_with_mismatches(
+        r#"
+trait Trait {}
+
+struct Struct;
+
+impl Trait for Struct {}
+
+type AliasTy = impl Trait;
+
+struct Foo {
+    foo: i32 = {
+        let x: AliasTy = Struct;
+        5
+    },
+}
+"#,
+        expect![[r#"
+            114..164 '{     ...     }': i32
+            128..129 'x': impl Trait + ?Sized
+            141..147 'Struct': Struct
+            157..158 '5': i32
+            141..147: expected impl Trait + ?Sized, got Struct
+        "#]],
+    );
 }

Original file line number	Diff line number	Diff line change
`@@ -1388,11 +1388,7 @@ impl HasModule for DefWithBodyId {`
`1388`	`1388`	`DefWithBodyId::ConstId(it) => it.module(db),`
`1389`	`1389`	`DefWithBodyId::VariantId(it) => it.module(db),`
`1390`	`1390`	`DefWithBodyId::InTypeConstId(it) => it.lookup(db).owner.module(db),`
`1391`		`- DefWithBodyId::FieldId(it) => match it.parent {`
`1392`		`- VariantId::EnumVariantId(it) => it.module(db),`
`1393`		`- VariantId::StructId(it) => it.module(db),`
`1394`		`- VariantId::UnionId(it) => it.module(db),`
`1395`		`- },`
	`1391`	`+ DefWithBodyId::FieldId(it) => it.module(db),`
`1396`	`1392`	`}`
`1397`	`1393`	`}`
`1398`	`1394`	`}`