Scopes: Add section that establishes relationship between Mappings and Scopes

[szuend]

Preview

This is an outline how we could spec mappings <-> scopes relationship. The current proposal is that it's fine if either mappings or scopes (or both) don't map a position. But if they do, the mapping needs to point into the scope that corresponds to the generated range.

[hbenl]

I think we should require a bit more: Imagine you have nested generated ranges G1 and G2 and nested original scopes O1 and O2 with the definition of G1 being O1 and that of G2 being O2 and a mapping that points from a generated position in G1 but outside G2 to an original position in O2. This mapping would be allowed by this algorithm but it should be flagged as inconsistent in my opinion.
Note that if O2 is a block scope that was removed during transpilation (so we don't have G2), then mapping a position in G1 to one in O2 is consistent. Simply checking if the innermost original scope for the mapping equals the definition of the innermost generated range would incorrectly flag this as inconsistent.

[szuend]

I can think of 2 solutions (although I'm not 100% sure if these are correct, I'd have to think about it some more):

• We lookup the inner-most original scope but require it to be a descendent of [[Definition]].
• We require strict equality between "inner-most scope" and "inner-most range". In your example, we could consider it a broken generator. It's a generator that emits code for an original scope, but doesn't emit a corresponding range. Even if it inlines the actual lexical scope, it should technically still emit a range G2 (similar to an inlined function range) that points to O2. If the code was transformed in a way where the generated code no longer reflects O2, then it should be either unmapped or the mapping should also point to O1.