Automatic deploy to GitHub Pages: 886d5fb

rust-lang · Nov 12, 2023 · e5ab517 · e5ab517
1 parent 6f06511
commit e5ab517
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/master/lints.json b/master/lints.json
@@ -2033,7 +2033,7 @@
     "id": "explicit_auto_deref",
     "id_span": {
       "path": "src/dereference.rs",
-      "line": 136
+      "line": 137
     },
     "group": "complexity",
     "level": "warn",
@@ -2063,7 +2063,7 @@
     "id": "explicit_deref_methods",
     "id_span": {
       "path": "src/dereference.rs",
-      "line": 51
+      "line": 52
     },
     "group": "pedantic",
     "level": "allow",
@@ -5590,7 +5590,7 @@
     "id": "needless_borrow",
     "id_span": {
       "path": "src/dereference.rs",
-      "line": 85
+      "line": 86
     },
     "group": "style",
     "level": "warn",
@@ -7456,7 +7456,7 @@
     "id": "ref_binding_to_reference",
     "id_span": {
       "path": "src/dereference.rs",
-      "line": 113
+      "line": 114
     },
     "group": "pedantic",
     "level": "allow",