Just a guess: The former cast it actually happenin...

# getting-started

[karelpeeters]

Just a guess: The former cast it actually happening at runtime, while the latter is erased together with the generics.