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