Fix recursive vector availability - #11

Merged

saki7 merged 20 commits into

mainfrom

fix-recursive-vector

Feb 7, 2026

Commits on Feb 6, 2026

Fix recursive vector availability
saki7
committed
6f46e42
Split `operator<=>` into two layers
saki7
committed
ef748c7
Declare/define relational operators manually
saki7
committed
8bbee68
Swap `synth_three_way` and `synth_three_way_result_t` dependency
saki7
committed
729857c
Remove noexcept specifier
saki7
committed
2f7aebe
Use composition instead of inheritance
saki7
committed
6f049a1
Revert to inheritance and use namespace scope relops
saki7
committed
759a3ef
Remove requires expression (direct cause of circular dependency)
saki7
committed
2ab0866

Commits on Feb 7, 2026

Split forward declaration of relops, etc.
saki7
committed
958b1ab
Remove forward declaration
saki7
committed
a4bbf2b
Specify `std::strong_ordering`
saki7
committed
e9e9aa7
Use forward declaration
saki7
committed
ecf3d79
Use `std::three_way_comparable_with`
saki7
committed
84e71a4
Use only relops in `iris::synth_three_way`'s constraints
saki7
committed
3069111
Reduce test case complexity
saki7
committed
7da7862
Re-enable `t < u` and `u < t` checks in `synth_three_way`
saki7
committed
9fde7b0
Re-enable `std::three_way_comparable_with` check
saki7
committed
2c6fd11
Remove static assertion
saki7
committed
377fad0
Make `iris::synth_three_way` function object
saki7
committed
bb6c0db
Add tests for `synth_three_way`
saki7
committed
17a2ac2