{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiaeae5ex5jng2iy6wj7xdcv3ru4xe3tgtuspiljelyuikwqrlvmfa",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mjut56vvjhi2"
  },
  "path": "/t/pre-rfc-t-trait-dyn-trait/21911#post_12",
  "publishedAt": "2026-04-19T19:12:29.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "mversic:\n\n> there is no way for the author of a function `kita` to constrain the fn signature to allow only arguments of the same type, although the exact type is unknown\n\nHow would you actually ever call such a function? Seems like you'd never be able to pass normal `&dyn`s to it.",
  "title": "Pre-RFC: &[T: Trait] -> &dyn [Trait]"
}