{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"b,"}]}
                    b,
                    vec![Adjustment { kind: Adjust::NeverToAny, target: b }],
                    PredicateObligations::new(),