Flip variance of test structs.
Remove trailing whitespace.
Rename subtype-variance to sublifetime.
&'a T is covariant in T not contravariant.
Weakened variance requirements on nested structs.