If you had triggered ambiguity, you'd get an error mentioning that