use core::pin::Pin;

#[test]
fn pin_const() {
    // test that the methods of `Pin` are usable in a const context

    const POINTER: &'static usize = &2;

    const PINNED: Pin<&'static usize> = Pin::new(POINTER);
    const PINNED_UNCHECKED: Pin<&'static usize> = unsafe { Pin::new_unchecked(POINTER) };
    assert_eq!(PINNED_UNCHECKED, PINNED);

    const INNER: &'static usize = Pin::into_inner(PINNED);
    assert_eq!(INNER, POINTER);

    const INNER_UNCHECKED: &'static usize = unsafe { Pin::into_inner_unchecked(PINNED) };
    assert_eq!(INNER_UNCHECKED, POINTER);

    const REF: &'static usize = PINNED.get_ref();
    assert_eq!(REF, POINTER);

    const INT: u8 = 42;
    const STATIC_REF: Pin<&'static u8> = Pin::static_ref(&INT);
    assert_eq!(*STATIC_REF, INT);

    // Note: `pin_mut_const` tests that the methods of `Pin<&mut T>` are usable in a const context.
    // A const fn is used because `&mut` is not (yet) usable in constants.
    const fn pin_mut_const() {
        let _ = Pin::new(&mut 2).into_ref();
        let _ = Pin::new(&mut 2).get_mut();
        let _ = unsafe { Pin::new(&mut 2).get_unchecked_mut() };
    }

    pin_mut_const();
}

#[allow(unused)]
mod pin_coerce_unsized {
    use core::cell::{Cell, RefCell, UnsafeCell};
    use core::pin::Pin;
    use core::ptr::NonNull;

    pub trait MyTrait {}
    impl MyTrait for String {}

    // These Pins should continue to compile.
    // Do note that these instances of Pin types cannot be used
    // meaningfully because all methods require a Deref/DerefMut
    // bounds on the pointer type and Cell, RefCell and UnsafeCell
    // do not implement Deref/DerefMut.

    pub fn cell(arg: Pin<Cell<Box<String>>>) -> Pin<Cell<Box<dyn MyTrait>>> {
        arg
    }
    pub fn ref_cell(arg: Pin<RefCell<Box<String>>>) -> Pin<RefCell<Box<dyn MyTrait>>> {
        arg
    }
    pub fn unsafe_cell(arg: Pin<UnsafeCell<Box<String>>>) -> Pin<UnsafeCell<Box<dyn MyTrait>>> {
        arg
    }

    // These sensible Pin coercions are possible.
    pub fn pin_mut_ref(arg: Pin<&mut String>) -> Pin<&mut dyn MyTrait> {
        arg
    }
    pub fn pin_ref(arg: Pin<&String>) -> Pin<&dyn MyTrait> {
        arg
    }
    pub fn pin_ptr(arg: Pin<*const String>) -> Pin<*const dyn MyTrait> {
        arg
    }
    pub fn pin_ptr_mut(arg: Pin<*mut String>) -> Pin<*mut dyn MyTrait> {
        arg
    }
    pub fn pin_non_null(arg: Pin<NonNull<String>>) -> Pin<NonNull<dyn MyTrait>> {
        arg
    }
    pub fn nesting_pins(arg: Pin<Pin<&String>>) -> Pin<Pin<&dyn MyTrait>> {
        arg
    }
}