1 // Copyright (C) 2021-2023 Free Software Foundation, Inc.
2
3 // This file is part of GCC.
4
5 // GCC is free software; you can redistribute it and/or modify it under
6 // the terms of the GNU General Public License as published by the Free
7 // Software Foundation; either version 3, or (at your option) any later
8 // version.
9
10 // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
11 // WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 // for more details.
14
15 // You should have received a copy of the GNU General Public License
16 // along with GCC; see the file COPYING3. If not see
17 // <http://www.gnu.org/licenses/>.
18
19 #ifndef RUST_HIR_TYPE_CHECK_UTIL_H
20 #define RUST_HIR_TYPE_CHECK_UTIL_H
21
22 #include "rust-system.h"
23 #include "rust-hir-visitor.h"
24
25 namespace Rust {
26 namespace Resolver {
27
28 class ImplTypeIterator : public HIR::HIRFullVisitorBase
29 {
30 using HIR::HIRFullVisitorBase::visit;
31
32 public:
33 ImplTypeIterator (HIR::ImplBlock &impl,
34 std::function<void (HIR::TypeAlias &alias)> cb)
35 : impl (impl), cb (cb)
36 {}
37
38 void go ();
39
40 void visit (HIR::TypeAlias &alias) override;
41
42 private:
43 HIR::ImplBlock &impl;
44 std::function<void (HIR::TypeAlias &alias)> cb;
45 };
46
47 } // namespace Resolver
48 } // namespace Rust
49
50 #endif // RUST_HIR_TYPE_CHECK_UTIL_H