Before this PR, we inferred all record declarations into the global scope, even though we knew (because of the FQN) that the record is part of another "name" (e.g. a namespace). This PR fixes that and correctly places the inferred record in the extracted scope of its FQN.
Before this PR, we inferred all record declarations into the global scope, even though we knew (because of the FQN) that the record is part of another "name" (e.g. a namespace). This PR fixes that and correctly places the inferred record in the extracted scope of its FQN.