{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
        // Handle shorthands first, if we have a usize > 0x80.
        let bound_vars = Decodable::decode(decoder);
        let predicate_kind = ty::Binder::bind_with_vars(