diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2022-05-24 16:19:42 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2022-05-24 16:20:55 +0100 |
| commit | a369360b922a586d9eb532490fb54edfe0019400 (patch) | |
| tree | d92d822ad8faf89a464d4afeecb033dc314dc1a2 /gcc | |
| parent | bf6d540b1043bb944450dfe9da4c91124cdf31d3 (diff) | |
| download | gcc-a369360b922a586d9eb532490fb54edfe0019400.zip gcc-a369360b922a586d9eb532490fb54edfe0019400.tar.gz gcc-a369360b922a586d9eb532490fb54edfe0019400.tar.bz2 | |
Reuse index_expr_ty type instead of type checking the index expression twice
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-expr.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-expr.cc b/gcc/rust/typecheck/rust-hir-type-check-expr.cc index c499204..394eee0 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-expr.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-expr.cc @@ -291,8 +291,7 @@ TypeCheckExpr::visit (HIR::ArrayIndexExpr &expr) bool ok = context->lookup_builtin ("usize", &size_ty); rust_assert (ok); - auto resolved_index_expr - = size_ty->unify (TypeCheckExpr::Resolve (expr.get_index_expr (), false)); + auto resolved_index_expr = size_ty->unify (index_expr_ty); if (resolved_index_expr->get_kind () == TyTy::TypeKind::ERROR) return; |