Tyler Mandry
@tylermandry.bsky.social
`T: Copy` is therefore a stronger bound than `T: !Drop` that tells you neither the type nor its fields (transitively) implement Drop.
October 21, 2025 at 12:20 AM
`T: Copy` is therefore a stronger bound than `T: !Drop` that tells you neither the type nor its fields (transitively) implement Drop.
Side note, Drop is a weird trait that technically means "defines its own drop glue in addition to whatever its fields do", there is nothing transitive about whether a type implements Drop.
October 21, 2025 at 12:20 AM
Side note, Drop is a weird trait that technically means "defines its own drop glue in addition to whatever its fields do", there is nothing transitive about whether a type implements Drop.
!Trait bound means the type promises to /never/ implement Drop, which usually requires an explicit negative impl (also unstable). In the case of Drop, `T: Copy` is a good approximation.
October 21, 2025 at 12:20 AM
!Trait bound means the type promises to /never/ implement Drop, which usually requires an explicit negative impl (also unstable). In the case of Drop, `T: Copy` is a good approximation.
me: well, there's this cave with a bunch of spiders
October 4, 2025 at 1:09 AM
me: well, there's this cave with a bunch of spiders
This is Not Okay and this is very cool
October 3, 2025 at 7:55 PM
This is Not Okay and this is very cool
Oh gosh we can actually do this with field projection
myvec.@xy += othervec.@zy * 2;
Just (Op)Assign, not actual assignment
myvec.@xy += othervec.@zy * 2;
Just (Op)Assign, not actual assignment
September 6, 2025 at 1:04 AM
Oh gosh we can actually do this with field projection
myvec.@xy += othervec.@zy * 2;
Just (Op)Assign, not actual assignment
myvec.@xy += othervec.@zy * 2;
Just (Op)Assign, not actual assignment
Reposted by Tyler Mandry
🎤 #rustconf Session Announcement: Taylor Cramer, Tyler Mandry (@tylermandry.bsky.social)
“Fine-Grained C++ Interop”
→ rustconf.com/schedule/#1479
#rustlang
“Fine-Grained C++ Interop”
→ rustconf.com/schedule/#1479
#rustlang
June 18, 2025 at 8:13 PM
🎤 #rustconf Session Announcement: Taylor Cramer, Tyler Mandry (@tylermandry.bsky.social)
“Fine-Grained C++ Interop”
→ rustconf.com/schedule/#1479
#rustlang
“Fine-Grained C++ Interop”
→ rustconf.com/schedule/#1479
#rustlang
a deterministic crash is sometimes better than unwinding through code that can't handle it. one is UB and the other is not!
May 3, 2025 at 11:13 PM
a deterministic crash is sometimes better than unwinding through code that can't handle it. one is UB and the other is not!
back when it was part of the rustc runtime, it would probe the start of every page in the frame before entering the function
May 3, 2025 at 11:10 PM
back when it was part of the rustc runtime, it would probe the start of every page in the frame before entering the function
oh I meant in rust. it does the guard page enforcement for you. pretty sure it's built in to LLVM now but the frontend has to turn it on!
May 3, 2025 at 9:19 PM
oh I meant in rust. it does the guard page enforcement for you. pretty sure it's built in to LLVM now but the frontend has to turn it on!
they might mean that but I'm thinking of things like interrupt handlers, kernel critical sections, etc.
plus, everyone knows you can't have while loops in your build! /s
plus, everyone knows you can't have while loops in your build! /s
May 3, 2025 at 9:17 PM
they might mean that but I'm thinking of things like interrupt handlers, kernel critical sections, etc.
plus, everyone knows you can't have while loops in your build! /s
plus, everyone knows you can't have while loops in your build! /s
segfault last I checked
May 3, 2025 at 9:12 PM
segfault last I checked
yeah I mean I can definitely see this stuff getting overused. if you want composition to work though sometimes you have to promise it. seems useful for crates meant to be used in special environments
May 3, 2025 at 9:12 PM
yeah I mean I can definitely see this stuff getting overused. if you want composition to work though sometimes you have to promise it. seems useful for crates meant to be used in special environments
what's fun is the same tools that help you reason about your program should help a compiler reason about it too
May 3, 2025 at 7:13 PM
what's fun is the same tools that help you reason about your program should help a compiler reason about it too
