vendor/parking_lot_core/src/util.rs

   1 // Copyright 2016 Amanieu d'Antras
   2 //
   3 // Licensed under the Apache License, Version 2.0, <LICENSE-APACHE or
   4 // http://apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT or
   5 // http://opensource.org/licenses/MIT>, at your option. This file may not be
   6 // copied, modified, or distributed except according to those terms.
   7
   8 // Option::unchecked_unwrap
   9 pub trait UncheckedOptionExt<T> {
  10     unsafe fn unchecked_unwrap(self) -> T;
  11 }
  12
  13 impl<T> UncheckedOptionExt<T> for Option<T> {
  14     #[inline]
  15     unsafe fn unchecked_unwrap(self) -> T {
  16         match self {
  17             Some(x) => x,
  18             None => unreachable(),
  19         }
  20     }
  21 }
  22
  23 // hint::unreachable_unchecked() in release mode
  24 #[inline]
  25 unsafe fn unreachable() -> ! {
  26     if cfg!(debug_assertions) {
  27         unreachable!();
  28     } else {
  29         core::hint::unreachable_unchecked()
  30     }
  31 }