Disallow withdrawn EIPs in the requires header

eipw-lint/src/lib.rs

@@ -326,10 +326,11 @@ pub fn default_lints_enum() -> impl Iterator<Item = (&'static str, DefaultLint<&
                 prefix: "eip-",
                 suffix: ".md",
                 flow: vec![
+                    vec!["Withdrawn"],
                     vec!["Draft", "Stagnant"],
                     vec!["Review"],
                     vec!["Last Call"],
-                    vec!["Final", "Withdrawn", "Living"],
+                    vec!["Final", "Living"],
                 ]
             }),
         ),

eipw-lint/tests/eipv/README.md

@@ -0,0 +1,6 @@
+# To run the eipv tests:
+
+```
+cd eipw-lint
+cargo test --all --all-features
+```

eipw-lint/tests/eipv/preamble-requires-no-withdrawn-status/eip-1337.md

@@ -0,0 +1,3 @@
+---
+status: Final
+---

eipw-lint/tests/eipv/preamble-requires-no-withdrawn-status/eip-20.md

@@ -0,0 +1,3 @@
+---
+status: Last Call
+---

eipw-lint/tests/eipv/preamble-requires-no-withdrawn-status/eip-2048.md

@@ -0,0 +1,3 @@
+---
+status: Withdrawn
+---

eipw-lint/tests/eipv/preamble-requires-no-withdrawn-status/expected.txt

@@ -0,0 +1,7 @@
+error[preamble-requires-status]: preamble header `requires` contains items not stable enough for a `status` of `Review`
+  --> input.md:11:20
+   |
+11 | requires: 20, 1337, 2048
+   |                    ^^^^^ has a less advanced status
+   |
+   = help: valid `status` values for this proposal are: `Withdrawn`

eipw-lint/tests/eipv/preamble-requires-no-withdrawn-status/input.md

@@ -0,0 +1,48 @@
+---
+eip: 1
+title: A sample proposal
+description: This proposal is a sample that should be considered
+author: John Doe (@johndoe), Jenny Doe <[email protected]>
+discussions-to: https://ethereum-magicians.org/t/hello/1
+status: Review
+type: Standards Track
+category: Core
+created: 2020-01-01
+requires: 20, 1337, 2048
+---
+
+## Abstract
+
+This is the abstract for the EIP.
+
+## Motivation
+
+This is the motivation for the EIP.
+
+## Specification
+
+This is the specification for the EIP.
+
+## Rationale
+
+This is the rationale for the EIP.
+
+## Backwards Compatibility
+
+These are the backwards compatibility concerns for the EIP.
+
+## Test Cases
+
+These are the test cases for the EIP.
+
+## Reference Implementation
+
+This is the implementation for the EIP.
+
+## Security Considerations
+
+These are the security considerations for the EIP.
+
+## Copyright
+
+Copyright and related rights waived via [CC0](../LICENSE.md).

eipw-lint/tests/eipv/preamble-requires-too-unstable/expected.txt

@@ -5,4 +5,4 @@ error[preamble-requires-status]: preamble header `requires` contains items not s
    |          ^^^ has a less advanced status
    |                    ^^^^^ has a less advanced status
    |
-   = help: valid `status` values for this proposal are: `Draft`, `Stagnant`
+   = help: valid `status` values for this proposal are: `Draft`, `Stagnant`, `Withdrawn`