#![feature(no_core)]
#![no_core]

// this test ICEs because in CompilePatternBindings::visit (HIR::TupleStructPattern &pattern)
// we are missing an implementation handling 'E::T(a, .., b)' with rest patterns
// once that is implemented, this test should pass
// { dg-ice "" }
//
struct S {
    x: i32,
    y: i32,
}
struct T(i32, i32);
enum E {
    T(i32, i32),
}
fn a(S { x, y }: S) {}
fn b(S { x: a, y: b }: S) {}
fn c(S { x: _, y: _ }: S) {}
fn d(T(a, b): T) {}
fn e(T(a, .., b): T) {}
fn g(E::T(a, .., b): E) {}
fn h(E::T(a, b): E) {}
fn main() {
    let S { x, y }: S;
    let S { x: a, y: b }: S;
    let S { x: _, y: _ }: S;
    let T(a, b): T;
    let T(a, .., b): T;
    let E::T(a, .., b): E;
    let E::T(a, b): E;
}