aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck/rust-substitution-mapper.h
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/rust/typecheck/rust-substitution-mapper.h')
-rw-r--r--gcc/rust/typecheck/rust-substitution-mapper.h8
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/rust/typecheck/rust-substitution-mapper.h b/gcc/rust/typecheck/rust-substitution-mapper.h
index 0a816c7..13487cf 100644
--- a/gcc/rust/typecheck/rust-substitution-mapper.h
+++ b/gcc/rust/typecheck/rust-substitution-mapper.h
@@ -29,7 +29,9 @@ class SubstMapper : public TyTy::TyVisitor
{
public:
static TyTy::BaseType *Resolve (TyTy::BaseType *base, location_t locus,
- HIR::GenericArgs *generics = nullptr);
+ HIR::GenericArgs *generics = nullptr,
+ const std::vector<TyTy::Region> &regions
+ = {});
static TyTy::BaseType *InferSubst (TyTy::BaseType *base, location_t locus);
@@ -63,10 +65,12 @@ public:
void visit (TyTy::ClosureType &) override { rust_unreachable (); }
private:
- SubstMapper (HirId ref, HIR::GenericArgs *generics, location_t locus);
+ SubstMapper (HirId ref, HIR::GenericArgs *generics,
+ const std::vector<TyTy::Region> &regions, location_t locus);
TyTy::BaseType *resolved;
HIR::GenericArgs *generics;
+ const std::vector<TyTy::Region> &regions;
location_t locus;
};