This replaces D118541, based on feedback there.
Out-of-tree passes sometimes need information that is not exposed by the
existing Concepts while designing new features. The frontend passes
before here and the machine passes after here already get access
directly to this, and we already expect it to be available internally
here, so it is fairly trivial to store and expose.