Merge branch 'trivial-hint-2' into 'master'

Test for !331 and hint for `bi_emp_valid`

See merge request !333
6 jobs for master in 16 minutes and 27 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #46929
fp
build-coq.8.10.0

00:10:01

passed #46928
fp-timing
build-coq.8.10.1

00:06:57

passed #46932
fp
build-coq.8.8.2

00:08:39

passed #46931
fp
build-coq.8.9.0

00:09:31

passed #46930
fp
build-coq.8.9.1

00:09:24

passed #46927
fp
build-coq.dev

00:16:27