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

    public test() {
        let no: bool;
    label b0:
        no = T{ b: true } == T{ b: true }; // == requires drop
        return;
    }
}