New syntax - violations_coverage

peter-lyons-kehl · peter-lyons-kehl · commit b1588005523e · 2025-11-26T19:19:34.000-08:00
diff --git a/README.md b/README.md
@@ -62,6 +62,8 @@ The pains (that pend [rust-lang/rust#110613](https://github.com/rust-lang/rust/i
 ## Limitation of lint control for unsafe_method
 Macro `unsafe_method` (normally accessed as `crate::prudent::unsafe_method`)
 
+TODO TODO TODO!
+
 # Quality assurance
 
 Checks and tests are run by [GitHub Actions]. See
diff --git a/violations_coverage/in_crate/src/bin/unsafe_method-fn_unused_unsafe-some_args.stderr b/violations_coverage/in_crate/src/bin/unsafe_method-fn_unused_unsafe-some_args.stderr
@@ -6,8 +6,8 @@ error: unnecessary `unsafe` block
    |
   ::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5
    |
-11 |     unsafe_method!(s, use_it, true);
-   |     ------------------------------- in this macro invocation
+11 |     unsafe_method!(s =>@ use_it => true);
+   |     ------------------------------------ in this macro invocation
    |
 note: the lint level is defined here
   --> violations/linted.rs
@@ -17,8 +17,8 @@ note: the lint level is defined here
    |
   ::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5
    |
-11 |     unsafe_method!(s, use_it, true);
-   |     ------------------------------- in this macro invocation
+11 |     unsafe_method!(s =>@ use_it => true);
+   |     ------------------------------------ in this macro invocation
    = note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: unnecessary `unsafe` block
@@ -29,8 +29,8 @@ error: unnecessary `unsafe` block
    |
   ::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5
    |
-11 |     unsafe_method!(s, use_it, true);
-   |     ------------------------------- in this macro invocation
+11 |     unsafe_method!(s =>@ use_it => true);
+   |     ------------------------------------ in this macro invocation
    |
 note: the lint level is defined here
   --> violations/linted.rs
@@ -40,6 +40,6 @@ note: the lint level is defined here
    |
   ::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5
    |
-11 |     unsafe_method!(s, use_it, true);
-   |     ------------------------------- in this macro invocation
+11 |     unsafe_method!(s =>@ use_it => true);
+   |     ------------------------------------ in this macro invocation
    = note: this error originates in the macro `unsafe_method_internal_build_accessors_check_args_call` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
diff --git a/violations_coverage/in_crate/src/bin/unsafe_method-fn_unused_unsafe-zero_args.stderr b/violations_coverage/in_crate/src/bin/unsafe_method-fn_unused_unsafe-zero_args.stderr
@@ -6,8 +6,8 @@ error: unnecessary `unsafe` block
   |
  ::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13
   |
-5 |     let _ = unsafe_method!("hi", len);
-  |             ------------------------- in this macro invocation
+5 |     let _ = unsafe_method!("hi" =>@ len);
+  |             ---------------------------- in this macro invocation
   |
 note: the lint level is defined here
  --> violations/linted.rs
@@ -17,8 +17,8 @@ note: the lint level is defined here
   |
  ::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13
   |
-5 |     let _ = unsafe_method!("hi", len);
-  |             ------------------------- in this macro invocation
+5 |     let _ = unsafe_method!("hi" =>@ len);
+  |             ---------------------------- in this macro invocation
   = note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error: unnecessary `unsafe` block
@@ -29,8 +29,8 @@ error: unnecessary `unsafe` block
   |
  ::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13
   |
-5 |     let _ = unsafe_method!("hi", len);
-  |             ------------------------- in this macro invocation
+5 |     let _ = unsafe_method!("hi" =>@ len);
+  |             ---------------------------- in this macro invocation
   |
 note: the lint level is defined here
  --> violations/linted.rs
@@ -40,6 +40,6 @@ note: the lint level is defined here
   |
  ::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13
   |
-5 |     let _ = unsafe_method!("hi", len);
-  |             ------------------------- in this macro invocation
+5 |     let _ = unsafe_method!("hi" =>@ len);
+  |             ---------------------------- in this macro invocation
   = note: this error originates in the macro `unsafe_method_internal_check_args_etc` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
diff --git a/violations_coverage/in_crate/src/bin/unsafe_method-unused_expect_unsafe-some_args.stderr b/violations_coverage/in_crate/src/bin/unsafe_method-unused_expect_unsafe-some_args.stderr
@@ -6,8 +6,8 @@ error: this lint expectation is unfulfilled
    |
   ::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);
-   |             ------------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);
+   |             ------------------------------------------------------------ in this macro invocation
    |
 note: the lint level is defined here
   --> violations/linted.rs
@@ -17,8 +17,8 @@ note: the lint level is defined here
    |
   ::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);
-   |             ------------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);
+   |             ------------------------------------------------------------ in this macro invocation
    = note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 warning: this lint expectation is unfulfilled
@@ -29,8 +29,8 @@ warning: this lint expectation is unfulfilled
    |
   ::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);
-   |             ------------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);
+   |             ------------------------------------------------------------ in this macro invocation
    |
    = note: `#[warn(unfulfilled_lint_expectations)]` on by default
    = note: this warning originates in the macro `unsafe_method_internal_build_accessors_check_args_call` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
diff --git a/violations_coverage/in_crate/src/bin/unsafe_method-unused_expect_unsafe-zero_args.stderr b/violations_coverage/in_crate/src/bin/unsafe_method-unused_expect_unsafe-zero_args.stderr
@@ -6,8 +6,8 @@ error: this lint expectation is unfulfilled
    |
   ::: violations/unsafe_method-unused_expect_unsafe-zero_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method);
-   |             ------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@  method);
+   |             ----------------------------------------------------- in this macro invocation
    |
 note: the lint level is defined here
   --> violations/linted.rs
@@ -17,8 +17,8 @@ note: the lint level is defined here
    |
   ::: violations/unsafe_method-unused_expect_unsafe-zero_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method);
-   |             ------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@  method);
+   |             ----------------------------------------------------- in this macro invocation
    = note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 warning: this lint expectation is unfulfilled
@@ -29,8 +29,8 @@ warning: this lint expectation is unfulfilled
    |
   ::: violations/unsafe_method-unused_expect_unsafe-zero_args.rs:13:13
    |
-13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method);
-   |             ------------------------------------------------- in this macro invocation
+13 |     let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@  method);
+   |             ----------------------------------------------------- in this macro invocation
    |
    = note: `#[warn(unfulfilled_lint_expectations)]` on by default
    = note: this warning originates in the macro `unsafe_method_internal_check_args_etc` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)

Original file line number	Diff line number	Diff line change
@@ -6,8 +6,8 @@ error: unnecessary `unsafe` block
`6`	`6`	`\|`
`7`	`7`	`::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5`
`8`	`8`	`\|`
`9`		`-11 \| unsafe_method!(s, use_it, true);`
`10`		`- \| ------------------------------- in this macro invocation`
	`9`	`+11 \| unsafe_method!(s =>@ use_it => true);`
	`10`	`+ \| ------------------------------------ in this macro invocation`
`11`	`11`	`\|`
`12`	`12`	`note: the lint level is defined here`
`13`	`13`	`--> violations/linted.rs`
`@@ -17,8 +17,8 @@ note: the lint level is defined here`
`17`	`17`	`\|`
`18`	`18`	`::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5`
`19`	`19`	`\|`
`20`		`-11 \| unsafe_method!(s, use_it, true);`
`21`		`- \| ------------------------------- in this macro invocation`
	`20`	`+11 \| unsafe_method!(s =>@ use_it => true);`
	`21`	`+ \| ------------------------------------ in this macro invocation`
`22`	`22`	= note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
`23`	`23`
`24`	`24`	error: unnecessary `unsafe` block
@@ -29,8 +29,8 @@ error: unnecessary `unsafe` block
`29`	`29`	`\|`
`30`	`30`	`::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5`
`31`	`31`	`\|`
`32`		`-11 \| unsafe_method!(s, use_it, true);`
`33`		`- \| ------------------------------- in this macro invocation`
	`32`	`+11 \| unsafe_method!(s =>@ use_it => true);`
	`33`	`+ \| ------------------------------------ in this macro invocation`
`34`	`34`	`\|`
`35`	`35`	`note: the lint level is defined here`
`36`	`36`	`--> violations/linted.rs`
`@@ -40,6 +40,6 @@ note: the lint level is defined here`
`40`	`40`	`\|`
`41`	`41`	`::: violations/unsafe_method-fn_unused_unsafe-some_args.rs:11:5`
`42`	`42`	`\|`
`43`		`-11 \| unsafe_method!(s, use_it, true);`
`44`		`- \| ------------------------------- in this macro invocation`
	`43`	`+11 \| unsafe_method!(s =>@ use_it => true);`
	`44`	`+ \| ------------------------------------ in this macro invocation`
`45`	`45`	= note: this error originates in the macro `unsafe_method_internal_build_accessors_check_args_call` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
Original file line number	Diff line number	Diff line change
@@ -6,8 +6,8 @@ error: unnecessary `unsafe` block
`6`	`6`	`\|`
`7`	`7`	`::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13`
`8`	`8`	`\|`
`9`		`-5 \| let _ = unsafe_method!("hi", len);`
`10`		`- \| ------------------------- in this macro invocation`
	`9`	`+5 \| let _ = unsafe_method!("hi" =>@ len);`
	`10`	`+ \| ---------------------------- in this macro invocation`
`11`	`11`	`\|`
`12`	`12`	`note: the lint level is defined here`
`13`	`13`	`--> violations/linted.rs`
`@@ -17,8 +17,8 @@ note: the lint level is defined here`
`17`	`17`	`\|`
`18`	`18`	`::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13`
`19`	`19`	`\|`
`20`		`-5 \| let _ = unsafe_method!("hi", len);`
`21`		`- \| ------------------------- in this macro invocation`
	`20`	`+5 \| let _ = unsafe_method!("hi" =>@ len);`
	`21`	`+ \| ---------------------------- in this macro invocation`
`22`	`22`	= note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
`23`	`23`
`24`	`24`	error: unnecessary `unsafe` block
@@ -29,8 +29,8 @@ error: unnecessary `unsafe` block
`29`	`29`	`\|`
`30`	`30`	`::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13`
`31`	`31`	`\|`
`32`		`-5 \| let _ = unsafe_method!("hi", len);`
`33`		`- \| ------------------------- in this macro invocation`
	`32`	`+5 \| let _ = unsafe_method!("hi" =>@ len);`
	`33`	`+ \| ---------------------------- in this macro invocation`
`34`	`34`	`\|`
`35`	`35`	`note: the lint level is defined here`
`36`	`36`	`--> violations/linted.rs`
`@@ -40,6 +40,6 @@ note: the lint level is defined here`
`40`	`40`	`\|`
`41`	`41`	`::: violations/unsafe_method-fn_unused_unsafe-zero_args.rs:5:13`
`42`	`42`	`\|`
`43`		`-5 \| let _ = unsafe_method!("hi", len);`
`44`		`- \| ------------------------- in this macro invocation`
	`43`	`+5 \| let _ = unsafe_method!("hi" =>@ len);`
	`44`	`+ \| ---------------------------- in this macro invocation`
`45`	`45`	= note: this error originates in the macro `unsafe_method_internal_check_args_etc` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
Original file line number	Diff line number	Diff line change
`@@ -6,8 +6,8 @@ error: this lint expectation is unfulfilled`
`6`	`6`	`\|`
`7`	`7`	`::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13`
`8`	`8`	`\|`
`9`		`-13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);`
`10`		`- \| ------------------------------------------------------- in this macro invocation`
	`9`	`+13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);`
	`10`	`+ \| ------------------------------------------------------------ in this macro invocation`
`11`	`11`	`\|`
`12`	`12`	`note: the lint level is defined here`
`13`	`13`	`--> violations/linted.rs`
`@@ -17,8 +17,8 @@ note: the lint level is defined here`
`17`	`17`	`\|`
`18`	`18`	`::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13`
`19`	`19`	`\|`
`20`		`-13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);`
`21`		`- \| ------------------------------------------------------- in this macro invocation`
	`20`	`+13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);`
	`21`	`+ \| ------------------------------------------------------------ in this macro invocation`
`22`	`22`	= note: this error originates in the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)
`23`	`23`
`24`	`24`	`warning: this lint expectation is unfulfilled`
`@@ -29,8 +29,8 @@ warning: this lint expectation is unfulfilled`
`29`	`29`	`\|`
`30`	`30`	`::: violations/unsafe_method-unused_expect_unsafe-some_args.rs:13:13`
`31`	`31`	`\|`
`32`		`-13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE, method, true);`
`33`		`- \| ------------------------------------------------------- in this macro invocation`
	`32`	`+13 \| let _ = unsafe_method!(~expect_unsafe S_INSTANCE =>@ method => true);`
	`33`	`+ \| ------------------------------------------------------------ in this macro invocation`
`34`	`34`	`\|`
`35`	`35`	= note: `#[warn(unfulfilled_lint_expectations)]` on by default
`36`	`36`	= note: this warning originates in the macro `unsafe_method_internal_build_accessors_check_args_call` which comes from the expansion of the macro `unsafe_method` (in Nightly builds, run with -Z macro-backtrace for more info)