From 533e1ef3ca481b03b68b3e7c6bcc7ce0d14131bb Mon Sep 17 00:00:00 2001
From: TieWay59 <tieway59@foxmail.com>
Date: Sat, 13 May 2023 15:49:42 +0800
Subject: 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>
---
 gcc/rust/typecheck/rust-hir-type-check-expr.cc | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'gcc/rust')

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);
-- 
cgit v1.1