build

Update scala-library to 2.13.16 #7169

Job	Run time
format-check	6m 48s
docker-tests	21m 27s
build-mdbook	6s
compiler-warnings	2m 18s
integration-tests (ubuntu-latest, oopsla19)	19m 26s
scaladoc-check	2m 10s
integration-tests (ubuntu-latest, arrays)	20m 57s
unit-tests (ubuntu-latest)	6m 19s
integration-tests (macos-latest, oopsla19)	21m 39s
unit-tests (macos-latest)	5m 16s
	1h 46m 26s

Provide feedback