Oooh, interesting scenario, and something that won't work if we require declared type equal to reference type. In light of this new information, I guess we need both!