aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck/rust-tyty-subst.cc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/rust/typecheck/rust-tyty-subst.cc')
-rw-r--r--gcc/rust/typecheck/rust-tyty-subst.cc11
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/rust/typecheck/rust-tyty-subst.cc b/gcc/rust/typecheck/rust-tyty-subst.cc
index fcb09d50..0a8340e 100644
--- a/gcc/rust/typecheck/rust-tyty-subst.cc
+++ b/gcc/rust/typecheck/rust-tyty-subst.cc
@@ -440,8 +440,9 @@ SubstitutionArgumentMappings::trait_item_mode () const
SubstitutionRef::SubstitutionRef (
std::vector<SubstitutionParamMapping> substitutions,
- SubstitutionArgumentMappings arguments)
- : substitutions (substitutions), used_arguments (arguments)
+ SubstitutionArgumentMappings arguments, RegionConstraints region_constraints)
+ : substitutions (substitutions), used_arguments (arguments),
+ region_constraints (region_constraints)
{}
bool
@@ -588,6 +589,12 @@ SubstitutionRef::get_used_arguments () const
return used_arguments;
}
+const RegionConstraints &
+SubstitutionRef::get_region_constraints () const
+{
+ return region_constraints;
+}
+
SubstitutionArgumentMappings
SubstitutionRef::get_mappings_from_generic_args (
HIR::GenericArgs &args, const std::vector<Region> &regions)