{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"output_ty:"}]}
                                            output_ty: Some(output_ty),
                                        ObligationCauseCode::BinOp {
                                            ..