Merge branch 'robbert/seal_fresh_generic' into 'master'

Seal `fresh_generic`.

See merge request iris/stdpp!54
8 jobs for master
Status Job ID Name Coverage
  Build
canceled #23566
fp
build-coq.8.7.0

canceled #23565
fp
build-coq.8.7.1

canceled #23564
fp
build-coq.8.7.2

canceled #23563
fp-timing
build-coq.8.8.0

canceled #23562
fp
build-coq.8.8.1

canceled #23561
fp
build-coq.8.8.2

canceled #23560
fp-timing
build-coq.8.9.0

canceled #23559
fp
build-coq.dev