diff options
| author | Jakub Bukaj <jakub@jakub.cc> | 2014-11-16 10:22:43 +0100 |
|---|---|---|
| committer | Jakub Bukaj <jakub@jakub.cc> | 2014-11-16 10:22:43 +0100 |
| commit | b22afe9ee7ce89ac9f82fe315f09e49d9d8ceef8 (patch) | |
| tree | bcb1bc3b4901167747f5f8f84f029f62f81803c5 | |
| parent | a9f9e80de5df8bf30e24a6521d5853660c1823d5 (diff) | |
| parent | c5232615b6669431b70720d25f68b5c1bc9662e2 (diff) | |
| download | rust-b22afe9ee7ce89ac9f82fe315f09e49d9d8ceef8.tar.gz rust-b22afe9ee7ce89ac9f82fe315f09e49d9d8ceef8.zip | |
rollup merge of #18990: alfie/master
| -rw-r--r-- | src/doc/complement-design-faq.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/complement-design-faq.md b/src/doc/complement-design-faq.md index 9a2531f094c..e57953db3a2 100644 --- a/src/doc/complement-design-faq.md +++ b/src/doc/complement-design-faq.md @@ -95,7 +95,7 @@ code should need to run is a stack. `match` being exhaustive has some useful properties. First, if every possibility is covered by the `match`, adding further variants to the `enum` in the future will prompt a compilation failure, rather than runtime panic. -Second, it makes cost explicit. In general, only safe way to have a +Second, it makes cost explicit. In general, the only safe way to have a non-exhaustive match would be to panic the task if nothing is matched, though it could fall through if the type of the `match` expression is `()`. This sort of hidden cost and special casing is against the language's philosophy. It's |
