Fix highlighting of canonical constructors of a deprecated record type.

See additional observation in https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/2578