then ASP.NET has no problem deserializing the body into the record. But... how does it do that? Just using System.Text.Json it doesn't appear like you can (or I'm doing something wrong), and plus, the properties that records generate don't have setters. How does this work?