6 files changed, 199 insertions, 0 deletions
diff --git a/third_party/rust/matches/.cargo-checksum.json b/third_party/rust/matches/.cargo-checksum.json
new file mode 100644
index 0000000000..65871b7ff7
--- /dev/null
+++ b/third_party/rust/matches/.cargo-checksum.json
@@ -0,0 +1 @@
+{"files":{"Cargo.toml":"194024a82bba1c84226ac827330511fba74474a7914b1319e6700285c15f5812","LICENSE":"d7b49708075b5f43f8e108464f1970c8c66fa8b6afce4f9c944da3af77cc1460","lib.rs":"9f4187510972f5fc356ca60d19daa0e69643dd6b530edf7c928cbd75a2b990c5","tests/macro_use_one.rs":"4f599fae16f1aef369050bf0ad74cbefec06c430b29e0c9ab0811ac9592e997a","tests/use_star.rs":"39a23b8002544f65e7a896e2cefe8e0af7404151fa65d327e748f5c1101badf8"},"package":"a3e378b66a060d48947b590737b30a1be76706c8dd7b8ba0f2fe3989c68a853f"}
+\ No newline at end of file
diff --git a/third_party/rust/matches/Cargo.toml b/third_party/rust/matches/Cargo.toml
new file mode 100644
index 0000000000..57a249a407
--- /dev/null
+++ b/third_party/rust/matches/Cargo.toml
@@ -0,0 +1,24 @@
+# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
+#
+# When uploading crates to the registry Cargo will automatically
+# "normalize" Cargo.toml files for maximal compatibility
+# with all versions of Cargo and also rewrite `path` dependencies
+# to registry (e.g., crates.io) dependencies
+#
+# If you believe there's an error in this file please file an
+# issue against the rust-lang/cargo repository. If you're
+# editing this file be aware that the upstream Cargo.toml
+# will likely look very different (and much more reasonable)
+
+[package]
+name = "matches"
+version = "0.1.9"
+authors = ["Simon Sapin <simon.sapin@exyr.org>"]
+description = "A macro to evaluate, as a boolean, whether an expression matches a pattern."
+documentation = "https://docs.rs/matches/"
+license = "MIT"
+repository = "https://github.com/SimonSapin/rust-std-candidates"
+
+[lib]
+name = "matches"
+path = "lib.rs"
diff --git a/third_party/rust/matches/LICENSE b/third_party/rust/matches/LICENSE
new file mode 100644
index 0000000000..a7b759a49c
--- /dev/null
+++ b/third_party/rust/matches/LICENSE
@@ -0,0 +1,25 @@
+Copyright (c) 2014-2016 Simon Sapin
+
+Permission is hereby granted, free of charge, to any
+person obtaining a copy of this software and associated
+documentation files (the "Software"), to deal in the
+Software without restriction, including without
+limitation the rights to use, copy, modify, merge,
+publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software
+is furnished to do so, subject to the following
+conditions:
+
+The above copyright notice and this permission notice
+shall be included in all copies or substantial portions
+of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF
+ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
+TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
+PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT
+SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR
+IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+DEALINGS IN THE SOFTWARE.
diff --git a/third_party/rust/matches/lib.rs b/third_party/rust/matches/lib.rs
new file mode 100644
index 0000000000..3bcd6e2fe8
--- /dev/null
+++ b/third_party/rust/matches/lib.rs
@@ -0,0 +1,128 @@
+#![no_std]
+
+/// Check if an expression matches a refutable pattern.
+///
+/// Syntax: `matches!(` *expression* `,` *pattern* `)`
+///
+/// Return a boolean, true if the expression matches the pattern, false otherwise.
+///
+/// # Examples
+///
+/// ```
+/// #[macro_use]
+/// extern crate matches;
+///
+/// pub enum Foo<T> {
+///     A,
+///     B(T),
+/// }
+///
+/// impl<T> Foo<T> {
+///     pub fn is_a(&self) -> bool {
+///         matches!(*self, Foo::A)
+///     }
+///
+///     pub fn is_b(&self) -> bool {
+///         matches!(*self, Foo::B(_))
+///     }
+/// }
+///
+/// # fn main() { }
+/// ```
+#[macro_export]
+macro_rules! matches {
+    ($expression:expr, $($pattern:tt)+) => {
+        match $expression {
+            $($pattern)+ => true,
+            _ => false
+        }
+    }
+}
+
+/// Assert that an expression matches a refutable pattern.
+///
+/// Syntax: `assert_matches!(` *expression* `,` *pattern* `)`
+///
+/// Panic with a message that shows the expression if it does not match the
+/// pattern.
+///
+/// # Examples
+///
+/// ```
+/// #[macro_use]
+/// extern crate matches;
+///
+/// fn main() {
+///     let data = [1, 2, 3];
+///     assert_matches!(data.get(1), Some(_));
+/// }
+/// ```
+#[macro_export]
+macro_rules! assert_matches {
+    ($expression:expr, $($pattern:tt)+) => {
+        match $expression {
+            $($pattern)+ => (),
+            ref e => panic!("assertion failed: `{:?}` does not match `{}`", e, stringify!($($pattern)+)),
+        }
+    }
+}
+
+/// Assert that an expression matches a refutable pattern using debug assertions.
+///
+/// Syntax: `debug_assert_matches!(` *expression* `,` *pattern* `)`
+///
+/// If debug assertions are enabled, panic with a message that shows the
+/// expression if it does not match the pattern.
+///
+/// When debug assertions are not enabled, this macro does nothing.
+///
+/// # Examples
+///
+/// ```
+/// #[macro_use]
+/// extern crate matches;
+///
+/// fn main() {
+///     let data = [1, 2, 3];
+///     debug_assert_matches!(data.get(1), Some(_));
+/// }
+/// ```
+#[macro_export]
+macro_rules! debug_assert_matches {
+    ($expression:expr, $($pattern:tt)+) => {
+        if cfg!(debug_assertions) {
+            match $expression {
+                $($pattern)+ => (),
+                ref e => panic!("assertion failed: `{:?}` does not match `{}`", e, stringify!($($pattern)+)),
+            }
+        }
+    }
+}
+
+#[test]
+fn matches_works() {
+    let foo = Some("-12");
+    assert!(matches!(foo, Some(bar) if
+        matches!(bar.as_bytes()[0], b'+' | b'-') &&
+        matches!(bar.as_bytes()[1], b'0'...b'9')
+    ));
+}
+
+#[test]
+fn assert_matches_works() {
+    let foo = Some("-12");
+    assert_matches!(foo, Some(bar) if
+        matches!(bar.as_bytes()[0], b'+' | b'-') &&
+        matches!(bar.as_bytes()[1], b'0'...b'9')
+    );
+}
+
+#[test]
+#[should_panic(expected = "assertion failed: `Some(\"-AB\")` does not match ")]
+fn assert_matches_panics() {
+    let foo = Some("-AB");
+    assert_matches!(foo, Some(bar) if
+        matches!(bar.as_bytes()[0], b'+' | b'-') &&
+        matches!(bar.as_bytes()[1], b'0'...b'9')
+    );
+}
diff --git a/third_party/rust/matches/tests/macro_use_one.rs b/third_party/rust/matches/tests/macro_use_one.rs
new file mode 100644
index 0000000000..a527a89ce7
--- /dev/null
+++ b/third_party/rust/matches/tests/macro_use_one.rs
@@ -0,0 +1,11 @@
+// https://github.com/SimonSapin/rust-std-candidates/issues/12
+#[macro_use(matches)] extern crate matches;
+
+#[test]
+fn matches_works() {
+    let foo = Some("-12");
+    assert!(matches!(foo, Some(bar) if
+        matches!(bar.as_bytes()[0], b'+' | b'-') &&
+        matches!(bar.as_bytes()[1], b'0'...b'9')
+    ));
+}
diff --git a/third_party/rust/matches/tests/use_star.rs b/third_party/rust/matches/tests/use_star.rs
new file mode 100644
index 0000000000..58a670b93e
--- /dev/null
+++ b/third_party/rust/matches/tests/use_star.rs
@@ -0,0 +1,10 @@
+//! https://github.com/SimonSapin/rust-std-candidates/issues/22
+
+extern crate matches;
+
+use matches::*;
+
+#[test]
+fn test_assert_matches() {
+    assert_matches!(4, 4)
+}