Sine RFC Infer outlives lifetime annotations like here became optional:
struct X<'a, 'b> {
ref1: &'a (&'b i32,),
}
That confuses. Here it is not optional:
fn f<'a, 'b: 'a>() {
let _: &X<'a, 'b>;
}
Those implicit bounds are unfortunately still very much undocumented in the generated rustdoc
; so it's an implicit property of the struct, perhaps comparable to how implicit/undocumented the variance of a struct is.
rustdoc
, generates implicit things, like auto-traits, so such enhancement would align with its philosophy as I see it.
In continuation of the post.