Если в record хочется добавить вычисляемое get property, но надо закешировать результат в mutable field (больше некуда). Как этот field исключить из ToString, GetHashCode, Equals?
Если вручную переопределять все GetHashCode, Equals, ToString, то половина преимуществ record пропадает.
Может они сделали какой то attribute, для исключения? Логичнее было бы чтобы mutable fields вообще не включались в GetHashCode,.. Если надо, то добавить легче, чем убрать.