{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
        let ty::CoercePredicate { a, b } = self;
    ) -> Self::T {
        crate::ty::CoercePredicate { a: a.stable(tables, cx), b: b.stable(tables, cx) }