>おー じゃあやはり 「stored property が 0個 の場合」にまつわる挙動 はSE-0176 Proposed solutionの
No enforcement is required for immutable memory, like a let binding or property, because all accesses must be reads.