Null deref?
Like, some `switch` construct got optimized into kind of `foo[bar].doCrap(ctx, data)` construct? But the `foo[bar]` kind of construct without default pathway can happen in Rust anyway if that thing constructed dynamically (e. g. by other earlier part of arriving data).
this can be a common situation for some "rules engine" or other high-level code execution branching infrastructure.
Does Rust can enforce "always have a meaningful result for `foo[bar]` construct?
Kote Isaev /
npub19n…77fx8
2024-07-20 13:16:12
in reply to nevent1q…6zlg
Author Public Key
npub19n4htjp8zkpg2hk8n4tv87gd5qsw3r0flxxadem2r3lyxm2a5q4qk77fx8Published at
2024-07-20 13:16:12Event JSON
{
"id": "ea86f727fe1ef3f2911b4e10ed3caddc9a8dbdf31e908dc1235d8f4a9d9c9265",
"pubkey": "2ceb75c8271582855ec79d56c3f90da020e88de9f98dd6e76a1c7e436d5da02a",
"created_at": 1721481372,
"kind": 1,
"tags": [
[
"p",
"058a6d106c5e6719008ce4db3f64c846caf49925227a39533d12a846fbab21ee"
],
[
"e",
"fa9d6ef9ac8552ce088e83926f2a2e750a20fe430f71755e0498db3a059fabda",
"",
"root"
],
[
"p",
"2ceb75c8271582855ec79d56c3f90da020e88de9f98dd6e76a1c7e436d5da02a"
],
[
"e",
"c618c6c86d3c23b699b241125192c18953507c2bf4372a4c816a2682d6c7e617",
"",
"reply"
],
[
"p",
"b907aa0bc5d09107b3070e8b392e2bd310cc538c34c3cbd86a76fb059b2cd073"
],
[
"proxy",
"https://mastodon.online/@koteisaev/112819003212467635",
"web"
],
[
"proxy",
"https://mastodon.online/users/koteisaev/statuses/112819003212467635",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.online/users/koteisaev/statuses/112819003212467635",
"pink.momostr"
],
[
"-"
]
],
"content": "Null deref?\nLike, some `switch` construct got optimized into kind of `foo[bar].doCrap(ctx, data)` construct? But the `foo[bar]` kind of construct without default pathway can happen in Rust anyway if that thing constructed dynamically (e. g. by other earlier part of arriving data).\nthis can be a common situation for some \"rules engine\" or other high-level code execution branching infrastructure.\nDoes Rust can enforce \"always have a meaningful result for `foo[bar]` construct?",
"sig": "2c607beab1ebafd771b3e191e9d55ca85feaf3416c77e331d710bfc69d574f0747f55d71f64ecfa8498f90f896cd48329bffafb5faaeaf56a1dcc1978c928f3a"
}