//# publish
module 0x1.Token {
    struct T has key { b: bool }

    public test() {
        let t: Self.T;
        let t_ref: &Self.T;
        let b: bool;
    label b0:
        t = T{ b: true };
        t_ref = &t;
        assert(copy(t_ref) == move(t_ref), 42); // == works over refs, even if resources without drop
        T{ b } = move(t);
        return;
    }
}

//# run
import 0x1.Token;

main() {
label b0:
    Token.test();
    return;
}