Свойство записи, доступное только для чтения, не пересчитывается при использовании `with`? [дубликат] ⇐ C#

[Anonymous]

Я столкнулся со странным поведением:
var a = new Foo([new(1), new(2), new(3)]);
Console.WriteLine(a.Sum); // Print 6

var b = a with
{
Items = [
a.Items[0] with { Value = 10},
a.Items[1],
a.Items[2],
],
};
Console.WriteLine(b.Sum); // Also print 6 (!)

record Item(int Value);
record Foo(ImmutableArray Items)
{

public int Sum { get; } = Items.Sum(item => item.Value);

}

По какой-то причине значение Sum копируется, а не пересчитывается, даже если свойство должно было быть пересчитано при создании.
После некоторого копания я обнаружил, что конструктор даже не вызывается оператором with, но как можно создать экземпляр без вызова конструктора?
using System.Collections.Immutable;

var a = new Foo([new(1), new(2), new(3)]);
Console.WriteLine(a.Sum);

var b = a with
{
Items = [
a.Items[0] with { Value = 10},
a.Items[1],
a.Items[2],
],
}; // No "Constructor called" printed (!)
Console.WriteLine(b.Sum);
Console.WriteLine(ReferenceEquals(a, b)); // Print out false

record Item(int Value);
record Foo
{

public ImmutableArray Items { get; init; }
public int Sum { get; }

public Foo(ImmutableArray items)
{
Console.WriteLine("Constructor called");

Items = items;
Sum = Items.Sum(item => item.Value);
}

}


Подробнее здесь: https://stackoverflow.com/questions/798 ... using-with