#![feature(never_type)] #![allow( unused_mut, unused_tuple_struct_fields, clippy::redundant_allocation, clippy::needless_pass_by_ref_mut )] #![warn(clippy::must_use_candidate)] use std::rc::Rc; use std::sync::atomic::{AtomicBool, Ordering}; use std::sync::Arc; pub struct MyAtomic(AtomicBool); pub struct MyPure; #[must_use] pub fn pure(i: u8) -> u8 { i } impl MyPure { #[must_use] pub fn inherent_pure(&self) -> u8 { 0 } } pub trait MyPureTrait { fn trait_pure(&self, i: u32) -> u32 { self.trait_impl_pure(i) + 1 } fn trait_impl_pure(&self, i: u32) -> u32; } impl MyPureTrait for MyPure { fn trait_impl_pure(&self, i: u32) -> u32 { i } } pub fn without_result() { // OK } pub fn impure_primitive(i: &mut u8) -> u8 { *i } pub fn with_callback bool>(f: &F) -> bool { f(0) } #[must_use] pub fn with_marker(_d: std::marker::PhantomData<&mut u32>) -> bool { true } pub fn quoth_the_raven(_more: !) -> u32 { unimplemented!(); } pub fn atomics(b: &AtomicBool) -> bool { b.load(Ordering::SeqCst) } #[must_use] pub fn rcd(_x: Rc) -> bool { true } pub fn rcmut(_x: Rc<&mut u32>) -> bool { true } #[must_use] pub fn arcd(_x: Arc) -> bool { false } pub fn inner_types(_m: &MyAtomic) -> bool { true } static mut COUNTER: usize = 0; /// # Safety /// /// Don't ever call this from multiple threads pub unsafe fn mutates_static() -> usize { COUNTER += 1; COUNTER } #[no_mangle] pub extern "C" fn unmangled(i: bool) -> bool { !i } fn main() { assert_eq!(1, pure(1)); }