diff options
| author | TieWay59 <tieway59@foxmail.com> | 2023-05-13 15:49:42 +0800 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2023-06-13 08:12:29 +0000 |
| commit | 533e1ef3ca481b03b68b3e7c6bcc7ce0d14131bb (patch) | |
| tree | 117126e1cdf6de8ff8546fbc93b07bf8d243e498 /gcc/rust | |
| parent | eedab85e02b8bd5841a36c0600cf397a255a718e (diff) | |
| download | gcc-533e1ef3ca481b03b68b3e7c6bcc7ce0d14131bb.zip gcc-533e1ef3ca481b03b68b3e7c6bcc7ce0d14131bb.tar.gz gcc-533e1ef3ca481b03b68b3e7c6bcc7ce0d14131bb.tar.bz2 | |
Remove obsolete error diagnostic
fixes https://github.com/Rust-GCC/gccrs/issues/2064
Remove every `{ dg-error "failed to type resolve expression" }`
annotation that causes a failure when running the testsuite.
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-expr.cc: Remove obsolete error diagnostic
gcc/testsuite/ChangeLog:
* rust/compile/break1.rs: remove dg-error "failed to type resolve expression"
* rust/compile/break2.rs: Likewise
* rust/compile/cfg2.rs: Likewise
* rust/compile/continue1.rs: Likewise
* rust/compile/generics4.rs: Likewise
* rust/compile/generics6.rs: Likewise
* rust/compile/generics7.rs: Likewise
* rust/compile/issue-2029.rs: Likewise
* rust/compile/issue-2139.rs: Likewise
* rust/compile/issue-2190-1.rs: Likewise
* rust/compile/issue-925.rs: Likewise
* rust/compile/method1.rs: Likewise
* rust/compile/shadow1.rs: Likewise
* rust/compile/type-bindings1.rs: Likewise
* rust/compile/unary_negation.rs: Likewise
* rust/compile/unary_not.rs: Likewise
* rust/compile/unconstrained_type_param.rs: Likewise
* rust/compile/usize1.rs: Likewise
Signed-off-by: Taiwei Wu <tieway59@foxmail.com>
Diffstat (limited to 'gcc/rust')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-expr.cc | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-expr.cc b/gcc/rust/typecheck/rust-hir-type-check-expr.cc index c54ee79..1db4cff 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-expr.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-expr.cc @@ -41,13 +41,7 @@ TypeCheckExpr::Resolve (HIR::Expr *expr) expr->accept_vis (resolver); if (resolver.infered == nullptr) - { - // FIXME - // this is an internal error message for debugging and should be removed - // at some point - rust_error_at (expr->get_locus (), "failed to type resolve expression"); - return new TyTy::ErrorType (expr->get_mappings ().get_hirid ()); - } + return new TyTy::ErrorType (expr->get_mappings ().get_hirid ()); auto ref = expr->get_mappings ().get_hirid (); resolver.infered->set_ref (ref); |