diff options
Diffstat (limited to 'gcc/rust/typecheck/rust-hir-type-check.h')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check.h b/gcc/rust/typecheck/rust-hir-type-check.h index 0d74ae1..3d66e29 100644 --- a/gcc/rust/typecheck/rust-hir-type-check.h +++ b/gcc/rust/typecheck/rust-hir-type-check.h @@ -23,6 +23,7 @@ #include "rust-tyty.h" #include "rust-hir-trait-reference.h" #include "rust-autoderef.h" +#include "rust-tyty-region.h" #include <stack> @@ -222,8 +223,14 @@ public: WARN_UNUSED_RESULT tl::optional<Lifetime> lookup_lifetime (const HIR::Lifetime &lifetime) const; + WARN_UNUSED_RESULT tl::optional<TyTy::Region> + lookup_and_resolve_lifetime (const HIR::Lifetime &lifetime) const; + void intern_and_insert_lifetime (const HIR::Lifetime &lifetime); + WARN_UNUSED_RESULT std::vector<TyTy::Region> + regions_from_generic_args (const HIR::GenericArgs &args) const; + private: TypeCheckContext (); @@ -327,6 +334,9 @@ private: {placeholder, {get_current_scope (), binder_size_stack.top ()++}}); } + WARN_UNUSED_RESULT tl::optional<TyTy::Region> + resolve (const Lifetime &placeholder) const; + /** Only to be used by the guard. */ void push_binder () { binder_size_stack.push (0); } /** Only to be used by the guard. */ |