I am surprised that we can drop `*y` and `*z`, as that is borrowed content. Is this simply an artifact of us not reporting an error for some other reason?