Shouldn't StaticSystemParam<'w, 's, P: SystemParam> also P: 'static?

[urben1680]

The docs say this:

This type is a SystemParam adapter which always has Self::State::Item == Self (ignoring lifetimes for brevity), no matter the argument SystemParam (P) (other than that P must be 'static)

(bold formatting by myself)

But, that constraint is not part of the bounds of P.

pub struct StaticSystemParam<'w, 's, P>(_)
where
         P: SystemParam /* <- ! */ ;

Example code is bounding 'static additionally for the derive macro despite that bound being not part of the generic parameter of StaticSystemParam:

#[derive(SystemParam)]
struct GenericParam<'w,'s, T: SystemParam + 'static /* <- ! */ > {
    field: StaticSystemParam<'w, 's, T>,
}

Was this forgotten? Are the docs incomplete?
It caused some confusion for me and I think there can be an improvement here, either for the docs or for the code.