tests/ui/associated-types/tuple-struct-expr-pat.fixed

// Check that fully qualified syntax can **not** be used in tuple struct expressions (calls) and
// patterns. Both tuple struct expressions and patterns are resolved in value namespace and thus
// can't be resolved through associated *types*.
//
//@ run-rustfix

#![feature(more_qualified_paths)]

fn main() {
    let <T<0> as Trait>::Assoc {} = <T<0> as Trait>::Assoc {};
    //~^ error: expected method or associated constant, found associated type
    //~| error: expected tuple struct or tuple variant, found associated type
    let <T<1> as Trait>::Assoc { 0: _a } = <T<1> as Trait>::Assoc { 0: 0 };
    //~^ error: expected method or associated constant, found associated type
    //~| error: expected tuple struct or tuple variant, found associated type
    let <T<2> as Trait>::Assoc { 0: _a, 1: _b } = <T<2> as Trait>::Assoc { 0: 0, 1: 1 };
    //~^ error: expected method or associated constant, found associated type
    //~| error: expected tuple struct or tuple variant, found associated type
    let <T<3> as Trait>::Assoc { 0: ref _a, 1: ref mut _b, 2: mut _c } = <T<3> as Trait>::Assoc { 0: 0, 1: 1, 2: 2 };
    //~^ error: expected method or associated constant, found associated type
    //~| error: expected tuple struct or tuple variant, found associated type
}


struct T<const N: usize>;

struct T0();
struct T1(u8);
struct T2(u8, u8);
struct T3(u8, u8, u8);

trait Trait {
    type Assoc;
}

impl Trait for T<0> {
    type Assoc = T0;
}

impl Trait for T<1> {
    type Assoc = T1;
}
impl Trait for T<2> {
    type Assoc = T2;
}
impl Trait for T<3> {
    type Assoc = T3;
}