Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/incremental.rs')
-rw-r--r--crates/hir-ty/src/tests/incremental.rs177
1 files changed, 92 insertions, 85 deletions
diff --git a/crates/hir-ty/src/tests/incremental.rs b/crates/hir-ty/src/tests/incremental.rs
index cf7ff6f7ec..e806999cb4 100644
--- a/crates/hir-ty/src/tests/incremental.rs
+++ b/crates/hir-ty/src/tests/incremental.rs
@@ -24,30 +24,31 @@ fn foo() -> i32 {
let crate_def_map = module.def_map(&db);
visit_module(&db, crate_def_map, module, &mut |def| {
if let ModuleDefId::FunctionId(it) = def {
- InferenceResult::for_body(&db, it.into());
+ InferenceResult::of(&db, DefWithBodyId::from(it));
}
});
},
&[("InferenceResult::for_body_", 1)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"InferenceResult::for_body_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"AttrFlags::query_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"trait_environment_query",
"lang_items",
"crate_lang_items",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
+ "ExprScopes::body_expr_scopes_",
]
"#]],
);
@@ -68,7 +69,7 @@ fn foo() -> i32 {
let crate_def_map = module.def_map(&db);
visit_module(&db, crate_def_map, module, &mut |def| {
if let ModuleDefId::FunctionId(it) = def {
- InferenceResult::for_body(&db, it.into());
+ InferenceResult::of(&db, DefWithBodyId::from(it));
}
});
},
@@ -76,14 +77,14 @@ fn foo() -> i32 {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"AttrFlags::query_",
- "function_signature_with_source_map_shim",
- "function_signature_shim",
- "body_with_source_map_shim",
- "body_shim",
+ "FunctionSignature::with_source_map_",
+ "FunctionSignature::of_",
+ "Body::with_source_map_",
+ "Body::of_",
]
"#]],
);
@@ -111,50 +112,51 @@ fn baz() -> i32 {
let crate_def_map = module.def_map(&db);
visit_module(&db, crate_def_map, module, &mut |def| {
if let ModuleDefId::FunctionId(it) = def {
- InferenceResult::for_body(&db, it.into());
+ InferenceResult::of(&db, DefWithBodyId::from(it));
}
});
},
&[("InferenceResult::for_body_", 3)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"InferenceResult::for_body_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"AttrFlags::query_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"trait_environment_query",
"lang_items",
"crate_lang_items",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
+ "ExprScopes::body_expr_scopes_",
"InferenceResult::for_body_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"AttrFlags::query_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"trait_environment_query",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
+ "ExprScopes::body_expr_scopes_",
"InferenceResult::for_body_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"AttrFlags::query_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"trait_environment_query",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
+ "ExprScopes::body_expr_scopes_",
]
"#]],
);
@@ -180,7 +182,7 @@ fn baz() -> i32 {
let crate_def_map = module.def_map(&db);
visit_module(&db, crate_def_map, module, &mut |def| {
if let ModuleDefId::FunctionId(it) = def {
- InferenceResult::for_body(&db, it.into());
+ InferenceResult::of(&db, DefWithBodyId::from(it));
}
});
},
@@ -188,26 +190,26 @@ fn baz() -> i32 {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"AttrFlags::query_",
- "function_signature_with_source_map_shim",
- "function_signature_shim",
- "body_with_source_map_shim",
- "body_shim",
+ "FunctionSignature::with_source_map_",
+ "FunctionSignature::of_",
+ "Body::with_source_map_",
+ "Body::of_",
"AttrFlags::query_",
- "function_signature_with_source_map_shim",
- "function_signature_shim",
- "body_with_source_map_shim",
- "body_shim",
+ "FunctionSignature::with_source_map_",
+ "FunctionSignature::of_",
+ "Body::with_source_map_",
+ "Body::of_",
"InferenceResult::for_body_",
- "expr_scopes_shim",
+ "ExprScopes::body_expr_scopes_",
"AttrFlags::query_",
- "function_signature_with_source_map_shim",
- "function_signature_shim",
- "body_with_source_map_shim",
- "body_shim",
+ "FunctionSignature::with_source_map_",
+ "FunctionSignature::of_",
+ "Body::with_source_map_",
+ "Body::of_",
]
"#]],
);
@@ -237,9 +239,10 @@ $0",
&[("TraitImpls::for_crate_", 1)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"TraitImpls::for_crate_",
@@ -276,7 +279,7 @@ pub struct NewStruct {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"crate_local_def_map",
@@ -311,9 +314,10 @@ $0",
&[("TraitImpls::for_crate_", 1)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"TraitImpls::for_crate_",
@@ -351,7 +355,7 @@ pub enum SomeEnum {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"crate_local_def_map",
@@ -386,9 +390,10 @@ $0",
&[("TraitImpls::for_crate_", 1)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"TraitImpls::for_crate_",
@@ -423,7 +428,7 @@ fn bar() -> f32 {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"crate_local_def_map",
@@ -462,9 +467,10 @@ $0",
&[("TraitImpls::for_crate_", 1)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"TraitImpls::for_crate_",
@@ -507,7 +513,7 @@ impl SomeStruct {
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"crate_local_def_map",
@@ -556,31 +562,32 @@ fn main() {
});
for def in defs {
- let _inference_result = InferenceResult::for_body(&db, def);
+ let _inference_result = InferenceResult::of(&db, def);
}
},
&[("trait_solve_shim", 0)],
expect_test::expect![[r#"
[
+ "source_root_crates_shim",
"crate_local_def_map",
"file_item_tree_query",
- "ast_id_map_shim",
+ "ast_id_map",
"parse_shim",
"real_span_map_shim",
"TraitItems::query_with_diagnostics_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"AttrFlags::query_",
"ImplItems::of_",
"InferenceResult::for_body_",
- "trait_signature_shim",
- "trait_signature_with_source_map_shim",
+ "TraitSignature::of_",
+ "TraitSignature::with_source_map_",
"AttrFlags::query_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"AttrFlags::query_",
- "body_shim",
- "body_with_source_map_shim",
+ "Body::of_",
+ "Body::with_source_map_",
"trait_environment_query",
"lang_items",
"crate_lang_items",
@@ -588,14 +595,14 @@ fn main() {
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
"InferenceResult::for_body_",
- "function_signature_shim",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::of_",
+ "FunctionSignature::with_source_map_",
"trait_environment_query",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
- "struct_signature_shim",
- "struct_signature_with_source_map_shim",
+ "ExprScopes::body_expr_scopes_",
+ "StructSignature::of_",
+ "StructSignature::with_source_map_",
"AttrFlags::query_",
"GenericPredicates::query_with_diagnostics_",
"value_ty_query",
@@ -604,8 +611,8 @@ fn main() {
"TraitImpls::for_crate_and_deps_",
"TraitImpls::for_crate_",
"impl_trait_with_diagnostics_query",
- "impl_signature_shim",
- "impl_signature_with_source_map_shim",
+ "ImplSignature::of_",
+ "ImplSignature::with_source_map_",
"impl_self_ty_with_diagnostics_query",
"AttrFlags::query_",
"GenericPredicates::query_with_diagnostics_",
@@ -651,47 +658,47 @@ fn main() {
});
for def in defs {
- let _inference_result = InferenceResult::for_body(&db, def);
+ let _inference_result = InferenceResult::of(&db, def);
}
},
&[("trait_solve_shim", 0)],
expect_test::expect![[r#"
[
"parse_shim",
- "ast_id_map_shim",
+ "ast_id_map",
"file_item_tree_query",
"real_span_map_shim",
"crate_local_def_map",
"TraitItems::query_with_diagnostics_",
- "body_with_source_map_shim",
+ "Body::with_source_map_",
"AttrFlags::query_",
- "body_shim",
+ "Body::of_",
"ImplItems::of_",
"InferenceResult::for_body_",
"AttrFlags::query_",
- "trait_signature_with_source_map_shim",
+ "TraitSignature::with_source_map_",
"AttrFlags::query_",
- "function_signature_with_source_map_shim",
- "function_signature_shim",
- "body_with_source_map_shim",
- "body_shim",
+ "FunctionSignature::with_source_map_",
+ "FunctionSignature::of_",
+ "Body::with_source_map_",
+ "Body::of_",
"crate_lang_items",
"GenericPredicates::query_with_diagnostics_",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
"InferenceResult::for_body_",
- "function_signature_with_source_map_shim",
+ "FunctionSignature::with_source_map_",
"GenericPredicates::query_with_diagnostics_",
"ImplTraits::return_type_impl_traits_",
- "expr_scopes_shim",
- "struct_signature_with_source_map_shim",
+ "ExprScopes::body_expr_scopes_",
+ "StructSignature::with_source_map_",
"AttrFlags::query_",
"GenericPredicates::query_with_diagnostics_",
"InherentImpls::for_crate_",
"callable_item_signature_query",
"TraitImpls::for_crate_",
- "impl_signature_with_source_map_shim",
- "impl_signature_shim",
+ "ImplSignature::with_source_map_",
+ "ImplSignature::of_",
"impl_trait_with_diagnostics_query",
"impl_self_ty_with_diagnostics_query",
"AttrFlags::query_",
@@ -709,6 +716,7 @@ fn execute_assert_events(
) {
crate::attach_db(db, || {
let (executed, events) = db.log_executed(f);
+ expect.assert_debug_eq(&executed);
for (event, count) in required {
let n = executed.iter().filter(|it| it.contains(event)).count();
assert_eq!(
@@ -724,6 +732,5 @@ fn execute_assert_events(
.collect::<Vec<_>>(),
);
}
- expect.assert_debug_eq(&executed);
});
}