Because then you couldn't use ? to propagate errors if they occurred inside any loops or branches within the function, which would be a significant limitation.