Skip to content

Commit 5d66874

Browse files
ehusstraviscross
authored andcommitted
Move expect note
This moves the note so that it isn't dangling at the bottom of the section. I generally would like to avoid these, since it isn't clear if the note is tied to the previous rule, or the entire section. This seems to fit with this rule better, anyways.
1 parent 435d191 commit 5d66874

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/attributes/diagnostics.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -179,6 +179,9 @@ The `expect(C)` attribute creates a lint expectation for lint `C`. The expectati
179179
> }
180180
> ```
181181
182+
> [!NOTE]
183+
> The behavior of `expect(unfulfilled_lint_expectations)` is currently defined to always generate the `unfulfilled_lint_expectations` lint.
184+
182185
r[attributes.diagnostics.expect.fulfillment]
183186
The lint expectation is only fulfilled by lint emissions which have been suppressed by the `expect` attribute. If the lint level is modified in the scope with other level attributes like `allow` or `warn`, the lint emission will be handled accordingly and the expectation will remain unfulfilled.
184187
@@ -231,9 +234,6 @@ If the `expect` attribute contains several lints, each one is expected separatel
231234
> }
232235
> ```
233236
234-
> [!NOTE]
235-
> The behavior of `expect(unfulfilled_lint_expectations)` is currently defined to always generate the `unfulfilled_lint_expectations` lint.
236-
237237
r[attributes.diagnostics.lint.group]
238238
### Lint groups
239239

0 commit comments

Comments
 (0)