1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
extern crate rocket;
// Check that route paths are absolute and normalized.
//~ ERROR invalid path URI
//~^ HELP expected
//~ ERROR invalid path URI
//~^ HELP expected
//~ ERROR invalid path URI
//~^ HELP expected
//~ ERROR empty segments
//~^ NOTE expected
//~ ERROR empty segments
//~ ERROR empty segments
//~ ERROR empty segments
//~^ NOTE expected
// Check that paths contain only valid URI characters
//~ ERROR invalid path URI
//~^ HELP origin form
//~ ERROR invalid URI characters
//~^ NOTE cannot contain reserved
//~^^ HELP reserved characters include
//~ ERROR invalid URI characters
//~^ NOTE cannot contain reserved
//~^^ HELP reserved characters include
//~ ERROR invalid URI characters
//~^ NOTE cannot contain reserved
//~^^ HELP reserved characters include
// Check that all declared parameters are accounted for
//~ ERROR unused dynamic parameter
//~ NOTE expected argument named `name` here
//~ ERROR unused dynamic parameter
//~ NOTE expected argument named `r` here
//~ ERROR unused dynamic parameter
//~ NOTE expected argument named `test` here
//~ ERROR unused dynamic parameter
//~ NOTE expected argument named `_r` here
//~ ERROR unused dynamic parameter
//~^ ERROR unused dynamic parameter
//~ NOTE expected argument named `_r` here
//~^ NOTE expected argument named `b` here
// Check dynamic parameters are valid idents
//~ ERROR `foo_.` is not a valid identifier
//~^ HELP must be valid
//~ ERROR `foo*` is not a valid identifier
//~^ HELP must be valid
//~ ERROR `!` is not a valid identifier
//~^ HELP must be valid
//~ ERROR `name>:<id` is not a valid identifier
//~^ HELP must be valid
// Check that a data parameter is exactly `<param>`
//~ ERROR malformed parameter
//~^ HELP must be of the form
//~ ERROR malformed parameter
//~^ HELP must be of the form
//~ ERROR missing a closing bracket
//~^ HELP did you mean
//~ ERROR `test ` is not a valid identifier
//~^ HELP must be valid
// Check that all identifiers are named
//~ ERROR must be named
//~^ HELP use a name such as
// Check that strange dynamic syntax is caught.
//~ ERROR cannot be empty
//~ ERROR malformed parameter
//~^ HELP must be of the form
//~^^ HELP identifiers cannot contain
//~ ERROR malformed parameter
//~^ HELP must be of the form
//~^^ HELP identifiers cannot contain
//~ ERROR malformed parameter
//~^ HELP must be of the form
//~^^ HELP identifiers cannot contain