1 struct S<'a, T:'a> {
2     o: &'a Option<T>
3 }
4 
main()5 fn main() {
6     S { o: &None }; //~ ERROR type annotations needed [E0282]
7 }
8