It's possibly intended that P1494R5 "Partial program correctness" doesn't add any feature-test macro. I'm convinced by Jens Maurer that there shouldn't be a core FTM. But given there's already __cpp_lib_unreachable, shouldn't there be __cpp_lib_observable?