error: attribute 'x' already defined at «stdin»:9:5
at «stdin»:10:18:
9| x = 789;
10| inherit (as) x;
| ^
11| };