LWG-3746 `optional`'s spaceship with `U` with a type derived from `optional` causes infinite constraint meta-recursion
LWG-3746
optional's spaceship withUwith a type derived fromoptionalcauses infinite constraint meta-recursion