This should be a bug then. The idea behind not repeating field names was to avoid redundancy and make things easy for the user.
The schema that is finally generated from the input schema is guaranteed to be GraphQL compliant. Though you bring up an interesting point and we will look into it.