I was coding a statement where the compiler should cast into a dynamic trait, but apparantly it doesn't. In stead it issues an error that the resulting type is of the wrong (concrete) type. If I add a type annotation, everything is fine.
Is it true that casting to a dynamic type always need type annotation? I mean: does the compiler not do casting in that case?