Or well, that's the idea. I didn't quite finish the invocation side of it - so that's not identical yet. But it's not hard to see how the compiler could just do that correctly.
The point of this isn't so much for people to actually use it, but to prove that it's a thing that can be written and would work! Likely without too much trouble either for someone who knows their way around the rustc frontend.
yosh
npub1u8…d6gze
2025-05-21 00:38:55 UTC
in reply to nevent1q…ta53
Author Public Key
npub1u86g6tc80vx4zt5xv6lh5rwammfwgs7envxf9nk02aa5u59cv43shd6gzePublished at
2025-05-21 00:38:55 UTCEvent JSON
{
"id": "5f56ab9d99c2f6d07ac2980b518f3d7473598362d85ff78ef0d566ae9892e8ae",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1747787935,
"kind": 1,
"tags": [
[
"e",
"9e7fa1be036ba041736658f2407e5d35558dde9984040e92e31615b8a546b5dc",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/114543030165708508",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Or well, that's the idea. I didn't quite finish the invocation side of it - so that's not identical yet. But it's not hard to see how the compiler could just do that correctly.\n\nThe point of this isn't so much for people to actually use it, but to prove that it's a thing that can be written and would work! Likely without too much trouble either for someone who knows their way around the rustc frontend.",
"sig": "db2711e7b947603c2b06a01d5ea9dc5a6409a0ef4c449ae909e4e37e008ba40317c89e9e2bd97628f807f7f2650fde85168314594700feeeb9d20e4402ff4d9c"
}