diff options
Diffstat (limited to 'src/mir/from_hir.hpp')
| -rw-r--r-- | src/mir/from_hir.hpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/mir/from_hir.hpp b/src/mir/from_hir.hpp index 4aa04442..caeba6ad 100644 --- a/src/mir/from_hir.hpp +++ b/src/mir/from_hir.hpp @@ -57,6 +57,9 @@ struct SplitArm { bool always_early_terminated = false; // Populated on completion ::std::vector<bool> changed_var_states; // Indexed by binding bumber ::std::vector<VarState> var_states; + + ::std::vector<bool> changed_tmp_states; + ::std::vector<VarState> tmp_states; }; TAGGED_UNION(ScopeType, Variables, @@ -198,8 +201,8 @@ private: void complete_scope(ScopeDef& sd); public: - void with_val_type(const Span& sp, const ::MIR::LValue& val, ::std::function<void(const ::HIR::TypeRef&)> cb); - bool lvalue_is_copy(const Span& sp, const ::MIR::LValue& lv); + void with_val_type(const Span& sp, const ::MIR::LValue& val, ::std::function<void(const ::HIR::TypeRef&)> cb) const; + bool lvalue_is_copy(const Span& sp, const ::MIR::LValue& lv) const; }; class MirConverter: |