Extract single element from container

Found it https://github.com/JuliaLang/julia/pull/25078. It was a PR.

3 Likes