Uh oh!
There was an error while loading. Please reload this page.
Specify what happens when casting fat pointers more specifically - #1206
Specify what happens when casting fat pointers more specifically#1206CAD97 wants to merge 5 commits into
Conversation
scottmcm
commented
Jun 21, 2022
@CAD97 Do you perhaps have a topic link for the discussion? The link seems to just be to the UCG stream in general. |
Uh oh!
There was an error while loading. Please reload this page.
joshtriplett
commented
Jun 21, 2022
r=me with an example added. |
CAD97
commented
Jun 21, 2022
...oops, will grab when I find it again :) |
Uh oh!
There was an error while loading. Please reload this page.
@joshtriplett I finally got around to adding that example 🙃 Is this still good to r+? (Well, after I add the proper |
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
That mess of commits shall be a lesson not to try to fix things through GitHub's app; rebased to fix that |
CAD97
commented
Aug 2, 2022
Well never mind then |
Uh oh!
There was an error while loading. Please reload this page.
CAD97
commented
Aug 2, 2022
This is just not my day for writing coherent code is it. The example should finally be accurate now... |
Uh oh!
There was an error while loading. Please reload this page.
traviscross
commented
Aug 27, 2024
We reviewed this today in the lang-docs call, and this seems to have been superseded by: ...which was merged. So we'll go ahead and close this. |
[zulip discussion]