#[derive(Default)] constraints type parameters despite not being required for a Default bound.

[ticki]

#[derive(Default)]
struct Type<T> {
    vec: Vec<T>,
}

only derives Type<T>: Default if T: Default, which is unnecessary, given a Vec<T>: Default for any unbounded T.

[jonas-schievink]

Sounds like #26925

[ticki]

Certainly related, but not exactly a duplicate.

[apasel422]

Since #32673 was a duplicate of #26925, I would argue this is as well.

[eddyb]

Closing as duplicate of #26925.