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

// 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(_a) = <T<1> as Trait>::Assoc(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(_a, _b) = <T<2> as Trait>::Assoc(0, 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(ref _a, ref mut _b, mut _c) = <T<3> as Trait>::Assoc(0, 1, 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;
}