propagate-approximated-shorter-to-static-no-bound.rs 1.6 KB