{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"Ok(ty)"}]}
                        Ok(ty) => ty,
                    |ty| match tcx.try_normalize_erasing_regions(typing_env, ty) {
                        Err(e) => Ty::new_error_with_message(