[COMMITTED 04/32] gccrs: Fix ICE when resolving lifetimes without name

[arthur . cohen]

From: Philip Herron <herron.phi...@googlemail.com>

We dont need to assert here the lifetime code already supports this case.

Fixes Rust-GCC#3657

gcc/rust/ChangeLog:

        * typecheck/rust-hir-type-check-base.cc: remove assertion

gcc/testsuite/ChangeLog:

        * rust/compile/issue-3657.rs: New test.

Signed-off-by: Philip Herron <herron.phi...@googlemail.com>
---
 gcc/rust/typecheck/rust-hir-type-check-base.cc | 2 --
 gcc/testsuite/rust/compile/issue-3657.rs       | 8 ++++++++
 2 files changed, 8 insertions(+), 2 deletions(-)
 create mode 100644 gcc/testsuite/rust/compile/issue-3657.rs

diff --git a/gcc/rust/typecheck/rust-hir-type-check-base.cc 
b/gcc/rust/typecheck/rust-hir-type-check-base.cc
index 34a726cc665..d3d68821734 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-base.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-base.cc
@@ -397,8 +397,6 @@ TypeCheckBase::resolve_generic_params (
            auto lifetime_param
              = static_cast<HIR::LifetimeParam &> (*generic_param);
            auto lifetime = lifetime_param.get_lifetime ();
-           rust_assert (lifetime.get_lifetime_type ()
-                        == AST::Lifetime::LifetimeType::NAMED);
            context->get_lifetime_resolver ().insert_mapping (
              context->intern_lifetime (lifetime));
          }
diff --git a/gcc/testsuite/rust/compile/issue-3657.rs 
b/gcc/testsuite/rust/compile/issue-3657.rs
new file mode 100644
index 00000000000..978f3ce336f
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3657.rs
@@ -0,0 +1,8 @@
+struct Foo<'_>(&'_ u8);
+
+impl Foo<'a> {
+    // { dg-error "unresolved lifetime" "" { target *-*-* } .-1 }
+    fn x() {}
+}
+
+fn x() {}
-- 
2.49.0