Cannot handle generic associated type with where statement

[ArcticLampyrid]

For code:

pub trait Foo {
    type Bar
    where
        Self: Sized;
}

impl Foo for u8 {
    // note: there is a space between `u16` and LineFeed
    type Bar = u16 
    where Self: Sized;
}

I got the error:

$ cargo fmt
error[internal]: left behind trailing whitespace
 --> \\?\D:\foo\src\a.rs:9:9:19
  |
9 |     type Bar = u16 
  |                   ^
  |

warning: rustfmt has failed to format. See previous 1 errors.

[johnhuichen]

just wondering, is

type Bar = u16 
    where Self: Sized;

really the right syntax?

[ArcticLampyrid]

@johnhuichen
I did not check any RFC documents, but I believe it is one type of GATs.
It works on rustc 1.70, with no build error or runtime error.

[johnhuichen]

I am just thinking that where Self:Sized tells trait not to implement Type Bar if it's not sized.

Since you already declared the type, does it still make sense to have where Self:Size in the implementation?

[ytmimi]

@ArcticLampyrid this one should be addressed once we merge #5887, which we're planning to do in the near future.

@johnhuichen yes it's the correct syntax and it relates to rust-lang/rust#89122. Also, see the type alias docs of the rust reference.

[johnhuichen]

@ArcticLampyrid this one should be addressed once we merge #5887, which we're planning to do in the near future.

@johnhuichen yes it's the correct syntax and it relates to rust-lang/rust#89122. Also, see the type alias docs of the rust reference.

Thanks! I see what's going on now. I think the where Self: Sized in impl block is allowed but not necessarily needed

[ArcticLampyrid]

Thanks! I see what's going on now. I think the where Self: Sized in impl block is allowed but not necessarily needed

It is not code in the real world, it's just a test case.

A more practical usage is:

impl<A> Foo<A> for MyType<A> {
    type Bar = u16 
    where
        A: Sized;
}