[m-rev.] for review: start using type_spec_constrained_preds pragmas

[Julien Fischer]

Hi Zoltan,

On Fri, 9 Feb 2024, Zoltan Somogyi wrote:

> There are two rotds with the commit that this diff requires.
>
> My laptop's timings are too variable to be able to measure
> the speed impact of this diff. For tools/speedtest, I got a 0.7%
> speedup; for tools/bootcheck -j6, approx the same slowdown.
> If someone with a less volatile machine could try it out,
> I would be grateful.

Were you going to commit this one, or are you going to wait until
the benchmarks are done?

Julien.