Noted in #1474, we can simplify these with the newish `record` keyword (which we have access to because of OmniSharp).
Noted in #1474, we can simplify these with the newish
recordkeyword (which we have access to because of OmniSharp).