{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"a:"}]}
                            a: source_ty,
                        ty::Binder::dummy(ty::PredicateKind::Coerce(ty::CoercePredicate {
                            b: target_ty,