I wonder if this should result in an error.