mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Integrate feedback

Browse Source 
* pass in existing `Semantics` object to function
* pass in `Definition` for param type
* refactor iterator to use `flatten`
This commit is contained in:
Sebastian Ziebell 2023-05-26 13:43:12 +02:00
parent ce1c85317f
commit e78df83e2f
1 changed files with 8 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
crates/ide-assists/src/handlers/replace_named_generic_with_impl.rs
View File

@ -1,4 +1,4 @@
use hir::{Semantics, TypeParam};
use hir::Semantics;
use ide_db::{
base_db::{FileId, FileRange},
defs::Definition,
@ -60,7 +60,9 @@ pub(crate) fn replace_named_generic_with_impl(
}
let type_param_hir_def = ctx.sema.to_def(&type_param)?;
if is_referenced_outside(ctx.db(), type_param_hir_def, &fn_, ctx.file_id()) {
let type_param_def = Definition::GenericParam(hir::GenericParam::TypeParam(type_param_hir_def));
if is_referenced_outside(&ctx.sema, type_param_def, &fn_, ctx.file_id()) {
return None;
}
@ -100,27 +102,20 @@ pub(crate) fn replace_named_generic_with_impl(
}
fn is_referenced_outside(
db: &RootDatabase,
type_param: TypeParam,
sema: &Semantics<'_, RootDatabase>,
type_param_def: Definition,
fn_: &ast::Fn,
file_id: FileId,
) -> bool {
let semantics = Semantics::new(db);
let type_param_def = Definition::GenericParam(hir::GenericParam::TypeParam(type_param));
// limit search scope to function body & return type
let search_ranges = vec![
fn_.body().map(|body| body.syntax().text_range()),
fn_.ret_type().map(|ret_type| ret_type.syntax().text_range()),
];
search_ranges.into_iter().filter_map(|search_range| search_range).any(|search_range| {
search_ranges.into_iter().flatten().any(|search_range| {
let file_range = FileRange { file_id, range: search_range };
!type_param_def
.usages(&semantics)
.in_scope(SearchScope::file_range(file_range))
.all()
.is_empty()
!type_param_def.usages(sema).in_scope(SearchScope::file_range(file_range)).all().is_empty()
})
}