add {.push: raises: [].} annotation

add {.push: raises: [].} annotation #338