RalfJung
Follow
Popular repositories
3,889 contributions in the last year
Activity overview
Contribution activity
December 2020
Created a pull request in rust-lang/rust that received 12 comments
validate promoteds
Turn on const-value validation for promoteds. This is made possible now that #67534 is resolved. I don't think this is a breaking change. We don't …
+25
−27
•
12
comments
Opened 24 other pull requests in 6 repositories
rust-lang/rust
2
open
8
merged
1
closed
- slightly more typed interface to panic implementation
- WIP crater experiment: do not promote const fn calls implicitly ever
- also const-check FakeRead
- Rollup of 6 pull requests
- Rollup of 7 pull requests
- update Miri
- make redundant StorageLive UB
- CTFE: tweak abort-on-uninhabited message
- Windows TLS: ManuallyDrop instead of mem::forget
- update Miri
- disable a ptr equality test on Miri
rust-lang/miri
8
merged
rust-lang/const-eval
1
open
1
merged
coq/opam-coq-archive
1
merged
rust-lang/hashbrown
1
open
coq-community/autosubst
1
merged
Reviewed 18 pull requests in 5 repositories
rust-lang/rust 11 pull requests
- Make ptr::copy[_nonoverlapping] const
- MaybeUninit::copy/clone_from_slice
- Lower intrinsics calls: forget, size_of, unreachable, wrapping_*
- Stop generating code in mem::forget
- Constier maybe uninit
- Remove memoization leftovers from constant evaluation machine
- Document that heap allocations are not guaranteed to happen, even if explicitly performed in the code
- [const_panic] Report const_panic diagnostics identically to compiler_error invocations
- disable a ptr equality test on Miri
- add const_allocate intrinsic
- Change ui test that are run-pass and that do not test the compiler to library tests
rust-lang/miri 4 pull requests
rust-lang/reference 1 pull request
japaric/xargo 1 pull request
coq-community/autosubst 1 pull request
Created an issue in rust-lang/unsafe-code-guidelines that received 14 comments
"_" patterns and validity invariants
The following code is not even unsafe, so it certainly cannot be UB: fn foo(ptr: *const bool) { let _ = *ptr; } foo(&3u8 as *const u8 as *const bool);
14
comments