Which form fits a returned value whose implementation chooses one hidden concrete type?

Which form fits a returned value whose implementation chooses one hidden concrete type?

1. `-> some P`
2. `any P`
3. `<T: P>` chosen independently by the implementation
4. `Any` followed by `as! P`