traits do not support specifying visibility

[ghost]

Aim

mod foo {
    mod bar {
        pub trait T {
            fn f(self) {}
        }
    }
}

Expected Behavior

everything is okay

Bug

error: No module `foo` at path `hello/src/foo.nr`
  ┌─ hello/src/main.nr:1:5
  │
1 │ mod foo {
  │     ---
  │

error: Expected a ; but found {
  ┌─ hello/src/main.nr:1:9
  │
1 │ mod foo {
  │         -
  │

error: Expected an end of input but found {
  ┌─ hello/src/main.nr:1:9
  │
1 │ mod foo {
  │         -
  │

To Reproduce

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[jfecher]

Looks like we aren't parsing visibility modifiers on traits at all, so they fail to parse leading to the odd parsing error message.

[TomAFrench]

Closing in favour of #4775