ICE in TyVar, at rust/typecheck/rust-tyty-util.cc:31 #3556
Description
auto-reduced (treereduce-rust):
fn main() {
let ref mut a @ (ref mut b,);
}original:
fn main() {
let ref mut a @ (
//~^ ERROR cannot borrow value as mutable more than once at a time
ref mut b,
[
ref mut c,
ref mut d,
ref e,
]
); //~ error: expected identifier, found `=`
}Version information:
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 TyVar, at rust/typecheck/rust-tyty-util.cc:31
0x869aa0 Rust::TyTy::TyVar::TyVar(unsigned int)
../../gcc/rust/typecheck/rust-tyty-util.cc:31
0x869abc Rust::TyTy::TyVar::TyVar(unsigned int)
../../gcc/rust/typecheck/rust-tyty-util.cc:40
0xf1459c ???
../../gcc/rust/typecheck/rust-hir-type-check-pattern.h:41
0xf14f11 Rust::Resolver::TypeCheckPattern::Resolve(Rust::HIR::Pattern&, Rust::TyTy::BaseType*)
../../gcc/rust/typecheck/rust-hir-type-check-pattern.cc:39
0xf28f15 Rust::Resolver::TypeCheckStmt::Resolve(Rust::HIR::Stmt&)
../../gcc/rust/typecheck/rust-hir-type-check-stmt.cc:34
0xf1aaa1 Rust::Resolver::TypeCheckExpr::visit(Rust::HIR::BlockExpr&)
../../gcc/rust/typecheck/rust-hir-type-check-expr.cc:602
0xf192b8 Rust::Resolver::TypeCheckExpr::Resolve(Rust::HIR::Expr&)
../../gcc/rust/typecheck/rust-hir-type-check-expr.cc:47
0xef6140 Rust::Resolver::TypeCheckItem::visit(Rust::HIR::Function&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:638
0xeecb37 Rust::Resolver::TypeCheckItem::Resolve(Rust::HIR::Item&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:59
0xe84e8b Rust::Resolver::TypeResolution::Resolve(Rust::HIR::Crate&)
../../gcc/rust/typecheck/rust-hir-type-check.cc:75
0xc5c2d3 Rust::Session::compile_crate(char const*)
../../gcc/rust/rust-session-manager.cc:685
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.