Related to #6045. `P1222R4_flat_set` is missing test coverage for CTAD. (Again, we have decent libcxx coverage, so I'm not too worried, but it would be good to exercise CTAD in `tests/std`.)