std::rt: Remove an obsolete FIXME. #7757