Fix the definition of `is_substitute` and variant-related substitutability - #50

Closed

yaito3014 wants to merge 19 commits into

mainfrom

fix-swapped-template-argument

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Minor renaming
yaito3014
committed
7b6636f
Rename `is_substitute` to `can_hold`
yaito3014
committed
da4c936
Remove test
yaito3014
committed
2adb1f4
Disable test
yaito3014
committed
d2dca4b
Remove variant_has_substitute
yaito3014
committed
bde2641
Replace specific usage of `can_hold` with `is_same`
yaito3014
committed
347796b
Stricten `can_hold` for non-variant types
yaito3014
committed
1c28be8
Merge branch 'main' into fix-swapped-template-argument
yaito3014
committed
1959100
Add comments
yaito3014
committed
b53bc4b
Remove can_hold_impl
yaito3014
committed
4c60498
Suppress warning
yaito3014
committed
e37512f
Add TODO comment
yaito3014
committed
34bad4a

Commits on Feb 27, 2026

Loosen `can_hold` more
yaito3014
committed
a192159
Revert "Loosen `can_hold` more"
yaito3014
committed
81af262