It's a minor thing but currently "pub' not needed here" is an error and does not actually mean "needed" but "allowed because implied". Maybe the message would be less confusing for a user if it actually says "pub not permitted here because it's implied".