If we're writing "ideal code", perhaps this could elide the `get()` because of #12900?