Missing `IntoForall` instance for later.

4 jobs for master in 10 minutes and 48 seconds