{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<(Ty<'tcx>, Ty<'tcx>, Option<(Ty<'tcx>, Ty<'tcx>)>)> {
        expected_ty: Ty<'tcx>,
        let ty::Adt(found_adt, found_args) = found_ty.peel_refs().kind() else {