Type checker needs the variable to be defined in all contexts.