{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
        let pred: ty::Predicate<'tcx> = Decodable::decode(decoder);
    fn decode(decoder: &mut D) -> ty::Clause<'tcx> {
        pred.expect_clause()