struct X
{
    int a;
};

X getX();

void modify(const X& x)
{
    const_cast<X&>(x).a++;
}

int foo()
{
    X x0 = getX();
    const X x1 = getX();
    const X& x2 = getX();

    // Legal!
    modify(x0);

    // Illegal!
    //modify(x1);

    // Legal?
    modify(x2);

    return x0.a + x1.a + x2.a;
}