Also, I feel like the `None` path should never be taken? What can be imported but not inlined?