about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Esche <regexident@gmail.com>2024-05-29 19:41:55 +0200
committerVincent Esche <regexident@gmail.com>2024-05-29 19:41:55 +0200
commit88f125ebc97b291e56fae77cdb5a1c2938418e8f (patch)
tree812fdc19a18153f52ad52175d593412b08d2e052
parentc1b051602ce2f6844fd703cad0146ed5ea8185e6 (diff)
downloadrust-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.rs8
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());