C6001 with overloaded assignment operator

Question

This simplified example code raises C6001 under static analysis:

struct st_facade
{
    st_facade &operator=(const int new_value) { m_value = new_value; r