[jdk16] RFR: JDK-8258338: Support deprecated records

[Hannes Wallnöfer]

On Tue, 15 Dec 2020 21:19:46 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Relatively simple update to fix an oversight in the support for records. `RECORD` was not added to `DeprElementKind` with the derivative downstream updates.

Looks good!

-------------

Marked as reviewed by hannesw (Reviewer).

PR: https://git.openjdk.java.net/jdk16/pull/29