Type annotations for example just give an error
Type annotations for example just give an error