These algorithms are specified to pass the result of the callable directly to `set_value` without decay-copying it first.