diff options
Diffstat (limited to 'gcc/rust/typecheck/rust-hir-type-check-type.h')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-type.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-type.h b/gcc/rust/typecheck/rust-hir-type-check-type.h index 31b4869..3083a94 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-type.h +++ b/gcc/rust/typecheck/rust-hir-type-check-type.h @@ -115,15 +115,21 @@ private: class ResolveWhereClauseItem : public TypeCheckBase { + // pair(a, b) => a: b + TyTy::RegionConstraints ®ion_constraints; + public: - static void Resolve (HIR::WhereClauseItem &item); + static void Resolve (HIR::WhereClauseItem &item, + TyTy::RegionConstraints ®ion_constraints); protected: void visit (HIR::LifetimeWhereClauseItem &item); void visit (HIR::TypeBoundWhereClauseItem &item); private: - ResolveWhereClauseItem () : TypeCheckBase () {} + ResolveWhereClauseItem (TyTy::RegionConstraints ®ion_constraints) + : region_constraints (region_constraints) + {} }; } // namespace Resolver |