Implement the legalizer

experimental/parser/testdata/parser/def/bad_path.proto.stderr.txt

@@ -2,42 +2,42 @@ error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:19:12
    |
 19 | message foo.Bar {
-   |            ^ expected identifier
+   |            ^ unexpected `.` in identifier
    = note: the name of a message definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:20:14
    |
 20 |     oneof foo.Bar {}
-   |              ^ expected identifier
+   |              ^ unexpected `.` in identifier
    = note: the name of a oneof definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:21:14
    |
 21 |     oneof foo.(bar.baz).Bar {}
-   |              ^ expected identifier
+   |              ^ unexpected `.` in identifier
    = note: the name of a oneof definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:23:12
    |
 23 | message foo.(bar.baz).Bar {}
-   |            ^ expected identifier
+   |            ^ unexpected `.` in identifier
    = note: the name of a message definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:25:9
    |
 25 | enum foo.Bar {}
-   |         ^ expected identifier
+   |         ^ unexpected `.` in identifier
    = note: the name of a enum definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:26:9
    |
 26 | enum foo.(bar.baz).Bar {}
-   |         ^ expected identifier
+   |         ^ unexpected `.` in identifier
    = note: the name of a enum definition must be a single identifier
 
 error: unexpected nested extension path in message extension block
@@ -50,14 +50,14 @@ error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:31:12
    |
 31 | service foo.Bar {}
-   |            ^ expected identifier
+   |            ^ unexpected `.` in identifier
    = note: the name of a service definition must be a single identifier
 
 error: unexpected `.` in identifier
   --> testdata/parser/def/bad_path.proto:32:12
    |
 32 | service foo.(bar.baz).Bar {}
-   |            ^ expected identifier
+   |            ^ unexpected `.` in identifier
    = note: the name of a service definition must be a single identifier
 
 encountered 9 errors

experimental/parser/testdata/parser/method/incomplete.proto.stderr.txt

@@ -8,13 +8,13 @@ error: missing method return type in service method
   --> testdata/parser/method/incomplete.proto:21:13
    |
 21 |     rpc Bar2(foo.Bar);
-   |             ^^^^^^^^^ expected type in `(...)` after this
+   |             ^^^^^^^^^ expected return type in `returns (...)` after this
 
 error: missing method parameter list in service method
   --> testdata/parser/method/incomplete.proto:22:9
    |
 22 |     rpc Bar3 returns (foo.Bar);
-   |         ^^^^ expected type in `(...)` after this
+   |         ^^^^ expected argument type in `(...)` after this
 
 error: expected exactly one type in method return type, got 0
   --> testdata/parser/method/incomplete.proto:23:31
@@ -35,10 +35,10 @@ error: expected exactly one type in method parameter list, got 0
    |             ^^
 
 error: missing method return type in service method
-  --> testdata/parser/method/incomplete.proto:25:13
+  --> testdata/parser/method/incomplete.proto:25:16
    |
 25 |     rpc Bar6() returns;
-   |             ^^ expected type in `(...)` after this
+   |                ^^^^^^^ expected return type in `(...)` after this
 
 error: unexpected `;` after `returns`
   --> testdata/parser/method/incomplete.proto:25:23