Lyude🌹#BLM on Nostr: I have no idea if this is possible, but it would be _really_ nice if rust's compiler ...
I have no idea if this is possible, but it would be _really_ nice if rust's compiler could, in response to errors like (given Foo::Bar: Baz, Foo::Biz::Bar: Baz where Foo::Bar == Foo::Biz::Bar):
"Expected Foo::Bar, got Foo::Biz::Bar"
if the compiler could recognize that both `Foo::Bar` and `Foo::Biz::Bar` have the same trait bounds, that the programmer _might_ be intending for those two to always be equal and thus suggest what trait bound I need to get it to understand.
Published at
2024-06-28 21:38:00Event JSON
{
"id": "cd06c75c5fffdebb45d89c5859e0ba718d0e8d00be27e0bfbb3623572a63b76b",
"pubkey": "207a54f9dfa80ab5a163fb9929628dfe40488cd07da6b67057767315c6748d5a",
"created_at": 1719610680,
"kind": 1,
"tags": [
[
"e",
"dd2d1ac39a29d29dfb565cd7a94008f571a28ed2f1e6c9623b915e0ad4907455",
"",
"root"
],
[
"p",
"207a54f9dfa80ab5a163fb9929628dfe40488cd07da6b67057767315c6748d5a"
],
[
"proxy",
"https://queer.party/@Lyude/112696405586655733",
"web"
],
[
"proxy",
"https://queer.party/users/Lyude/statuses/112696405586655733",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://queer.party/users/Lyude/statuses/112696405586655733",
"pink.momostr"
],
[
"expiration",
"1722204909"
]
],
"content": "I have no idea if this is possible, but it would be _really_ nice if rust's compiler could, in response to errors like (given Foo::Bar: Baz, Foo::Biz::Bar: Baz where Foo::Bar == Foo::Biz::Bar):\n\n\"Expected Foo::Bar, got Foo::Biz::Bar\"\n\nif the compiler could recognize that both `Foo::Bar` and `Foo::Biz::Bar` have the same trait bounds, that the programmer _might_ be intending for those two to always be equal and thus suggest what trait bound I need to get it to understand.",
"sig": "56ad1dd11c5ac174216a720bb376b01d616f98b2ef88d04c3921d14bcb5645d2acb2717c1fa1b69751f8a08acc26939e42975e84d6de763df43b77acd6fe1535"
}
