#![feature(pin_ergnonmics)]
#![allow(incomplete_features)]

#[pin_v2]
struct Foo;

fn foo(mut x: Foo) {
    let _x = &pin mut x; // x is pinned
    drop(_x); // now the pinned reference expires
    let _x = x; //~ ERROR cannot move out of `x` because it is pinned
    let _x = &mut x; //~ ERROR cannot borrow `x` as mutable because it is pinned
    
    x = Foo; // x is reassigned
    let _x = &mut x; // ok because x is reassigned and not pinned yet
}