ICE in visit, at rust/hir/rust-ast-lower-pattern.cc:115

Nobody has claimed this yet.

auto-reduced (treereduce-rust):

pub struct Foo<T> {
    data: T,
}

fn foo<T>(Foo { .. }: Foo<T>) {}

original:

// run-pass
#![allow(dead_code)]


// pretty-expanded FIXME #23616

pub struct Foo<T> {
    data: T,
}

fn foo<T>(Foo{..}: Foo<T>) {
}

pub fn main() {
}

Version information:

34b0a681598d52de442a0a21c3a7df20bf1485bc

Command:
crab1 -Warray-bounds -mtune=generic -march=x86-64 -O0 -L/lib/x86_64-linux-gnu -L/lib/../lib64 -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib64 -frust-incomplete-and-experimental-compiler-do-not-use

Program output

crab1: internal compiler error: in visit, at rust/hir/rust-ast-lower-pattern.cc:115
0x866a0a Rust::HIR::ASTLoweringPattern::visit(Rust::AST::StructPattern&)
	../../gcc/rust/hir/rust-ast-lower-pattern.cc:115
0xddef06 Rust::HIR::ASTLoweringPattern::translate(Rust::AST::Pattern&, bool)
	../../gcc/rust/hir/rust-ast-lower-pattern.cc:33
0xde136d Rust::HIR::ASTLoweringItem::visit(Rust::AST::Function&)
	../../gcc/rust/hir/rust-ast-lower-item.cc:425
0xde22de Rust::HIR::ASTLoweringItem::translate(Rust::AST::Item&)
	../../gcc/rust/hir/rust-ast-lower-item.cc:38
0xdcfd67 Rust::HIR::ASTLowering::go()
	../../gcc/rust/hir/rust-ast-lower.cc:81
0xdd0261 Rust::HIR::ASTLowering::Resolve(Rust::AST::Crate&)
	../../gcc/rust/hir/rust-ast-lower.cc:71
0xc5c258 Rust::Session::compile_crate(char const*)
	../../gcc/rust/rust-session-manager.cc:663
Please submit a full bug report, with preprocessed source (by using -freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Start with rust/hir/rust-ast-lower-pattern.cc around line 115 and reproduce the ICE using the reduced Rust input and the crab1 command in the issue. Trace the StructPattern visit path shown in the backtrace, then verify that compiling the reduced example no longer reports an internal compiler error.

Written by the indexing model from the issue text.

Description

Contributor guide

First steps

Research direction

Assessment