Detect use of unused state property

[franklinsch]

contract X {
  let name: String = "Contract X"  // warn: name was never used
}

[bearbin]

I'm not quite sure what this issue actually means - is this supposed to be detecting unused state properties so as to give a warning?

[franklinsch]

Yup