{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidon2dohfmgb6ljw6qasnviqh6ohrt2tmvidtrasheeeyoeb3mbwe",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mlzicxxklr52"
  },
  "path": "/t/is-it-possible-to-define-various-level-for-safety/24299#post_5",
  "publishedAt": "2026-05-17T03:53:22.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "I guess if Rust were to allow this kind of functionality, it would need a dependently typed system. As of now, we don't have such a feature to enforce user-defined safety invariances, but there are several verification crates to eliminate logical errors at compile-time.",
  "title": "Is it possible to define various level for safety?"
}