Should there be an error in this case?