{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigx7sfsjw42a22k7rizkobsmnbe7actmyzbtlj7vpt4plg7uzhmqe",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mhlinw7ovvo2"
  },
  "path": "/t/idea-borrowck-transparent-function-calls/24103#post_17",
  "publishedAt": "2026-03-21T09:12:47.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "I recently thought about syntax like this:\n\n\n    struct Foo {\n        foo: usize,\n        bar: usize,\n    }\n\n    impl Foo {\n        fn foo_mut(Self { foo, .. }: &mut Self) -> &mut usize {\n            foo\n        }\n    }\n\n\nThis compiles today. Maybe the borrow checker could infer that only `foo` is being used here?",
  "title": "Idea: Borrowck Transparent Function Calls"
}