{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"})"}]}
                        }) = bound.skip_binders()
                            ty: projected_ty,
                        {