diff options
| author | Vincent Esche <regexident@gmail.com> | 2024-05-29 19:41:55 +0200 |
|---|---|---|
| committer | Vincent Esche <regexident@gmail.com> | 2024-05-29 19:41:55 +0200 |
| commit | 88f125ebc97b291e56fae77cdb5a1c2938418e8f (patch) | |
| tree | 812fdc19a18153f52ad52175d593412b08d2e052 | |
| parent | c1b051602ce2f6844fd703cad0146ed5ea8185e6 (diff) | |
| download | rust-88f125ebc97b291e56fae77cdb5a1c2938418e8f.tar.gz rust-88f125ebc97b291e56fae77cdb5a1c2938418e8f.zip | |
Add `Function::fn_ptr_type(…)` for obtaining name-erased function type
| -rw-r--r-- | src/tools/rust-analyzer/crates/hir/src/lib.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/rust-analyzer/crates/hir/src/lib.rs b/src/tools/rust-analyzer/crates/hir/src/lib.rs index 777be711a5e..963ad6ca993 100644 --- a/src/tools/rust-analyzer/crates/hir/src/lib.rs +++ b/src/tools/rust-analyzer/crates/hir/src/lib.rs @@ -1884,6 +1884,14 @@ impl Function { Type::from_value_def(db, self.id) } + pub fn fn_ptr_type(self, db: &dyn HirDatabase) -> Type { + let resolver = self.id.resolver(db.upcast()); + let substs = TyBuilder::placeholder_subst(db, self.id); + let callable_sig = db.callable_item_signature(self.id.into()).substitute(Interner, &substs); + let ty = TyKind::Function(callable_sig.to_fn_ptr()).intern(Interner); + Type::new_with_resolver_inner(db, &resolver, ty) + } + /// Get this function's return type pub fn ret_type(self, db: &dyn HirDatabase) -> Type { let resolver = self.id.resolver(db.upcast()); |
