{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
) -> Option<Ty<'tcx>> {
    ty: Ty<'tcx>,
    let ty = tcx.try_normalize_erasing_regions(typing_env, ty).unwrap_or(ty);