Change:
// CHECK-LABEL: @u64_opt_as_slice #[no_mangle] pub fn u64_opt_as_slice(o: &Option<u64>) -> &[u64] { <del> // CHECK: start: </del> // CHECK-NOT: select <del> // CHECK: ret </del> <ins> // CHECK-NOT: br // CHECK-NOT: switch // CHECK-NOT: icmp </ins> o.as_slice() } // CHECK-LABEL: @nonzero_u64_opt_as_slice #[no_mangle] pub fn nonzero_u64_opt_as_slice(o: &Option<NonZeroU64>) -> &[NonZeroU64] { <del> // CHECK: start: </del> // CHECK-NOT: select <del> // CHECK: ret </del> <ins> // CHECK-NOT: br // CHECK-NOT: switch // CHECK-NOT: icmp // CHECK: %[[NZ:.+]] = icmp ne i64 %{{.+}}, 0 // CHECK-NEXT: zext i1 %[[NZ]] to i64 // CHECK-NOT: select // CHECK-NOT: br // CHECK-NOT: switch // CHECK-NOT: icmp </ins> o.as_slice() }

Discussion:
Feature gate: This is a tracking issue for the and methods. The functions return an immutable or mutable slice to the value contained in the Option, if any. Otherwise an empty slice is returned. [x] Implementation: [x] Final comment period (FCP)[^1] [x] Stabilization PR The implementation now uses an approach that's always sound (just less efficient than optimal if the hack guesses wrong). A stabilization conversation would probably still want to discuss whether we're comfortable with shipping that approach as stable (since the implementation could be improved non-breakingly later) or we'd prefer to wait for a more principled approach (such as an extension of from that allows enum variants) first. [^1]: https://std-dev-
Updated the discussion in the OP now that the implementation relies on the layout estimate only for performance, not for soundness.
I'll push another version using an intrinsic shortly, so we'll have performance and soundness. Edit:
Superceded by with a more direct approach using an intrinsic instead of a hacky estimate.
The initial implementation was in fixed a potential soundness issue moved the implementation to an intrinsic (Future) There may be a future PR which removes the intrinsic in favor of once that is available for enums The API is summarized at the . Shortly after the initial implementation, dogfooded the feature in the compiler, adding 8 lines and removing 17. All four of the cases were both perf and legibility wins. The author notes that there he found some other cases outside of rustc where the feature could be applied, though isn't yet because of not being stabilized, even though his search was merely for a naive implementation of the feature, there may be cases where people have resorted to using a or other type instead of an to get . Those cases aren't as easy to find though. Stabilizing this feature will bring the standard library up to parity with the author's crate (though that is only for bools, ints and floats). The API as it is now mirrors that of other collections (notably array, , and as well as various of their iterators. The only possible extension that was hinted at during development was to into a possibly empty slice, but this wasn't attempted due to being a breaking change. Finally, I want to note that we can still change the implementation once on enums is available, as the API surface will stay the same.

So this seems like as good a time as any to stabilize this feature. Shall we? ping
merge
Team member has proposed to merge this. The next step is review by the rest of the tagged team members: [x] [x] [x] [ ] [x] No concerns currently listed. Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up! See for info about what commands tagged team members can give me.
:bell: This is now entering its final comment period, as per the . :bell:
Is it a hard requirement for an empty slice to point to the same place as if was ? Because the pointer part of slice just need to be non-null and sufficiently aligned, so using the address of an itself (as well as ) is always the sound approach.
Well, the API doesn't guarantee it in the docs, so I don't think it's a hard requirement. It's an important QoI detail for performance, though. By returning the empty slice pointing at where the item would be, it's always returning the same pointer. That simplifies codegen and optimizations, by not needing the extra conditional instruction. Compare these:
As there were no concerns brought up so far, I'll likely push a stabilization PR later today.
The final comment period, with a disposition to merge, as per the , is now complete. As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed. This will be merged soon.
This should be closed as the feature was stabilized.