Now that it's been removed from the prelude, we need to treat things differently.

Fixes #17967