Revised elaboration of function definitions, part 1

Partial revert of commit ec95665e087d39e29ece455b90e7d5918dc88cee.
That commit introduced a "keep_ty" parameter to type elaboration
functions telling them to keep struct/union definitions occurring
in function parameter lists and lift them to the outer environment.
By setting keep_ty to true, the following could typecheck:

int f(struct s { int a; } x) { return x.a; }

However, "struct s" would escape the scope of the function definition
and leak to the top-level environment, which is not correct.

In subsequent commits we'll address the issues above differently,
in a way that does not need the "keep_ty = true" behavior.

0 files changed, 0 insertions, 0 deletions