Summary
Jason explores C++11's little-known garbage collection specification, a feature that was standardized but never implemented by any compiler. The standard defines interfaces like std::declare_reachable(), std::declare_unreachable(), and std::pointer_safety to support reachability-based leak detection and garbage collection, but these are implemented as no-ops in all major standard libraries. The feature was intended to support both automatic memory management and detection of memory leaks for pointers that are no longer reachable, with a proposal dating back to 2008.