struct S<'a, T:'a> {
    o: &'a Option<T>
}

fn main() {
    S { o: &None }; //~ ERROR type annotations needed [E0282]
}