diff options
author | John Hodge <tpg@mutabah.net> | 2016-08-23 17:32:29 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2016-08-23 17:32:29 +0800 |
commit | c2aedab7b60ca3e6c293b7d022897aee0661db21 (patch) | |
tree | c8de400dc1a7d30726d7e7f56c63ac82416a3775 /src/mir/from_hir.hpp | |
parent | 6cf05070d793f95e051046f0a301f6e006bebb50 (diff) | |
download | mrust-c2aedab7b60ca3e6c293b7d022897aee0661db21.tar.gz |
HIR Typecheck - Require span for type_is_copy
Diffstat (limited to 'src/mir/from_hir.hpp')
-rw-r--r-- | src/mir/from_hir.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mir/from_hir.hpp b/src/mir/from_hir.hpp index ae9c80c8..3fd3c055 100644 --- a/src/mir/from_hir.hpp +++ b/src/mir/from_hir.hpp @@ -147,7 +147,7 @@ public: /// Introduce a new variable within the current scope void define_variable(unsigned int idx); // Helper - Marks a variable/... as moved (and checks if the move is valid) - void moved_lvalue(const ::MIR::LValue& lv); + void moved_lvalue(const Span& sp, const ::MIR::LValue& lv); private: VarState get_variable_state(unsigned int idx) const; void set_variable_state(unsigned int idx, VarState state); @@ -158,7 +158,7 @@ private: void complete_scope(ScopeDef& sd); void with_val_type(const ::MIR::LValue& val, ::std::function<void(const ::HIR::TypeRef&)> cb); - bool lvalue_is_copy(const ::MIR::LValue& lv); + bool lvalue_is_copy(const Span& sp, const ::MIR::LValue& lv); }; class MirConverter: |