summaryrefslogtreecommitdiff
path: root/src/mir/from_hir.hpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-08-23 17:32:29 +0800
committerJohn Hodge <tpg@mutabah.net>2016-08-23 17:32:29 +0800
commitc2aedab7b60ca3e6c293b7d022897aee0661db21 (patch)
treec8de400dc1a7d30726d7e7f56c63ac82416a3775 /src/mir/from_hir.hpp
parent6cf05070d793f95e051046f0a301f6e006bebb50 (diff)
downloadmrust-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.hpp4
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: