Consider the following:

record Person(String name, Date dob) {
  Person {
    assert name?.size() > 1
    assert dob != null
  }
}

"name" and "dob" within the compact constructor are references to the record's components and should be highlighted as such. Code navigation, find occurrences, rename refactor, etc. should work from any occurrence of "name" or "dob".