1 /*
2 TEST_OUTPUT:
3 ---
4 fail_compilation/diag6707.d(16): Error: mutable method diag6707.Foo.value is not callable using a const object
5 ---
6 */
7 
8 module diag6707;
9 
10 struct Foo
11 {
valueFoo12     @property bool value() { return true; }
13 
testFoo14     void test() const
15     {
16         auto x = value;
17     }
18 }
19