type checking for if-else strict mode requires both paths have the same type footprint