/*
TEST_OUTPUT:
---
fail_compilation/diag6707.d(16): Error: mutable method diag6707.Foo.value is not callable using a const object
---
*/

module diag6707;

struct Foo
{
    @property bool value() { return true; }

    void test() const
    {
        auto x = value;
    }
}