Since the use case is to effectively shrink the buffer pool on a running server, let's consider this to be fixed by the 5.7 online buffer pool resize.
Since the use case is to effectively shrink the buffer pool on a running server, let's consider this to be fixed by the 5.7 online buffer pool resize.