2025-04-24 19:15:18 +10:00
|
|
|
#![feature(prelude_import)]
|
|
|
|
|
#![no_std]
|
|
|
|
|
//@ pretty-mode:expanded
|
|
|
|
|
//@ pp-exact:never-pattern.pp
|
|
|
|
|
//@ only-x86_64
|
|
|
|
|
|
|
|
|
|
#![allow(incomplete_features)]
|
|
|
|
|
#![feature(never_patterns)]
|
|
|
|
|
#![feature(never_type)]
|
|
|
|
|
#[macro_use]
|
|
|
|
|
extern crate std;
|
2025-07-28 17:24:28 +03:00
|
|
|
#[prelude_import]
|
|
|
|
|
use ::std::prelude::rust_2015::*;
|
2025-04-24 19:15:18 +10:00
|
|
|
|
2025-04-24 19:21:04 +10:00
|
|
|
fn f(x: Result<u32, !>) { _ = match x { Ok(x) => x, Err(!) , }; }
|
2025-04-24 19:15:18 +10:00
|
|
|
|
2025-04-24 19:21:04 +10:00
|
|
|
fn main() {}
|