What happens without this? Can you add a type annotation to avoid this?