{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigco5z3vzcz7td6lewn7qszv36kvbxtnxzzea6y6rujk5knfekhju",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mgxycj2ji3x2"
  },
  "path": "/t/could-borrow-checking-with-origins-unblock-sound-specialization/24079#post_2",
  "publishedAt": "2026-03-13T18:00:11.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "Serhii:\n\n> The trait solver and codegen see the same information. There's no \"abstract during checking, concrete during codegen\" split for origins.\n\nI see no mention of this in Niko's blogpost and non reason why it would be the case.",
  "title": "Could borrow checking with origins unblock sound specialization"
}