Weird interaction between between recursive attribute sets and nested attribute shorthand.

[Gaelan]

Describe the bug

In an attribute set with a nested recursive attribute set, values defined in the recursive attribute set are visible in attributes defined outside of the rec block.

Steps To Reproduce

In a Nix REPL, evaluate the expression { a = rec { b = 5; }; a.c = b; }

Expected behavior

The expression errors, either saying that b is out of scope or that defining both a = rec {...}; and a.c = ... is not permitted.

Actual behavior

The expression evaluates to { a = { b = 5; c = 5; }; }.

nix-env --version output

nix-env (Nix) 2.7.0pre20220221_caf5172

[puckipedia]

This behaves the same without the shorthand as well: { a = rec { b = 5; }; a = { c = b; }; }

[pennae]

it's important to note that both of these are just syntactic sugar, they're merged to { a = rec { b = 5; c = b; }; } during parsing.