diff options
| author | John Hodge <tpg@mutabah.net> | 2016-08-19 08:29:28 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-08-19 08:30:13 +0800 |
| commit | 64c957b03ede8b0af825b50e6e551c61444a3275 (patch) | |
| tree | b8f2683495ac964a33b7542b0d51a3147f78a9f3 /src | |
| parent | c0d8141930e95f71a6d4fb84114fdc8a449527b7 (diff) | |
| download | mrust-64c957b03ede8b0af825b50e6e551c61444a3275.tar.gz | |
HIR Typecheck Expr - Remove const_cast
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index c59abc8b..9585b8c5 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -2614,8 +2614,7 @@ void Context::add_binding(const Span& sp, ::HIR::Pattern& pat, const ::HIR::Type this->add_binding(sp, sub_pat, var_ty); } else { - // SAFE: Can't have _ as monomorphise_type_needed checks for that - this->add_binding(sp, sub_pat, const_cast< ::HIR::TypeRef&>(field_type)); + this->add_binding(sp, sub_pat, field_type); } } ), @@ -2654,8 +2653,7 @@ void Context::add_binding(const Span& sp, ::HIR::Pattern& pat, const ::HIR::Type this->add_binding(sp, field_pat.second, field_type_mono); } else { - // SAFE: Can't have _ as monomorphise_type_needed checks for that - this->add_binding(sp, field_pat.second, const_cast< ::HIR::TypeRef&>(field_type)); + this->add_binding(sp, field_pat.second, field_type); } } ) @@ -2730,8 +2728,7 @@ void Context::add_binding(const Span& sp, ::HIR::Pattern& pat, const ::HIR::Type this->add_binding(sp, e.sub_patterns[i], var_ty); } else { - // SAFE: Can't have a _ (monomorphise_type_needed checks for that) - this->add_binding(sp, e.sub_patterns[i], const_cast< ::HIR::TypeRef&>(tup_var[i].ent)); + this->add_binding(sp, e.sub_patterns[i], tup_var[i].ent); } } ) @@ -2778,8 +2775,7 @@ void Context::add_binding(const Span& sp, ::HIR::Pattern& pat, const ::HIR::Type this->add_binding(sp, field_pat.second, field_type_mono); } else { - // SAFE: Can't have _ as monomorphise_type_needed checks for that - this->add_binding(sp, field_pat.second, const_cast< ::HIR::TypeRef&>(field_type)); + this->add_binding(sp, field_pat.second, field_type); } } ) |