Auto merge of #1750 - hyd-dev:rustup, r=RalfJung

bors · bors · commit b3f81fc61008 · 2021-03-23T09:08:26.000Z
Remove `#![feature(or_patterns)]` Fix a warning on CI: https://github.com/rust-lang/miri/runs/2173037929#step:8:59
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-2b8fbe6b0b6db7960828bd2c9a50e52c9a5d0aef
+5d04957a4b4714f71d38326fc96a0b0ef6dc5800
diff --git a/src/lib.rs b/src/lib.rs
@@ -2,7 +2,6 @@
 #![feature(map_first_last)]
 #![feature(map_try_insert)]
 #![feature(never_type)]
-#![feature(or_patterns)]
 #![feature(try_blocks)]
 
 #![warn(rust_2018_idioms)]
