this example does not compile. can anyone explain ...

# getting-started

[marco.eig]

this example does not compile. can anyone explain why and if there is a way to achieve this? I want T i.e., Collection<T> to be of the corresponding type of the when branch