Where should "lowering" from Rust to Minirust go.

[chorman0773]

I think this is a crucial question to the open PR for the layout chapter, as well as future chapters for the Dynamic Semantics chapter.

Where should we specify the lowering of a Rust program to Minirust, and where do we start talking about a concrete instance of the abstract machine, rather than the parameterizable AM.

The current layout chapter assumes both the lowering and the semantics of that lowering are part of the dynamic section (it talks about both layout, which is a property of the parameterized AM instance, and representation, which is part of the semantics of the resulting AM). The only other place that makes sense is Static Semantics, but that section seems to specifically be handling well-formedness and type system constraints, which wouldn't make it a good place either.

[chorman0773]

@rustbot label +A-dynamic +C-meta-technical

[rustbot]

Error: This repository is not enabled to use triagebot.
Add a triagebot.toml in the root of the default branch to enable it.

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

[chorman0773]

@rustbot label +A-dynamic +C-meta-technical