diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-05 01:49:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-05 01:49:48 +0200 |
| commit | a93cc0664fee37010385b88918632332d2a4281f (patch) | |
| tree | 89f679f2b3a977453c1705a3e21531b2a2755ebf /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 4b0b6e357bc1bffef0bfafe96cd673a11cd564c4 (diff) | |
| parent | a9b6af98d182e1a40d97c48bbab27916224847ff (diff) | |
| download | rust-a93cc0664fee37010385b88918632332d2a4281f.tar.gz rust-a93cc0664fee37010385b88918632332d2a4281f.zip | |
Rollup merge of #71891 - lcnr:not-iter-any, r=Dylan-DPC
¬∃x. ¬y => ∀x. y
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions