Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'

Simon Praetoriusrequested to merge
cherry-pick-cd213143 into releases/2.8

Followup of Cleanup/deprecate dune disj conj neg typetraits

See merge request !974 (merged)

(cherry picked from commit cd213143)

ceea0683 Implement backports Std::conjunction, Std::disjunction and Std::negation in...

Merge request reports