oli-obk
Follow
Pinned
2,155 contributions in the last year
Activity overview
Contribution activity
July 2023
Created 26 commits in 5 repositories
Created a pull request in rust-lang/rust that received 17 comments
Add a type field to mir::ConstantKind::Ty.
This is preparatory work in removing the dependencies on ty::Const::ty by tracking the types separately.
r? @BoxyUwU
+87
−68
•
17
comments
Opened 11 other pull requests in 4 repositories
rust-lang/rust
2
open
2
merged
oli-obk/ui_test
3
merged
rust-lang/miri
2
open
1
merged
davidbarsky/tracing-tree
1
merged
Reviewed 14 pull requests in 3 repositories
rust-lang/rust
12 pull requests
- Add basic types to SMIR
-
Add a type field to
mir::ConstantKind::Ty. -
Specialize
try_destructure_mir_constantfor its sole user (pretty printing) - Add support for NetBSD/riscv64 aka. riscv64gc-unknown-netbsd.
- Lower matches against constant slices into better MIR
-
Move
ty::ConstKindtorustc_type_ir - Effects/keyword generics MVP
-
Support overriding
warningslevel for a specific lint via command line - -Ztrait-solver=next: stop depending on old solver
-
Add simple markdown formatting to
rustc --explainoutput - Update Clippy
- Replace old private-in-public diagnostic with type privacy lints
oli-obk/ui_test
1 pull request
rust-lang/miri
1 pull request
Created an issue in rust-lang/compiler-team that received 5 comments
Retire the mailing list and make all decisions on zulip
Proposal We already have a private zulip stream. I propose to use it for discussing things like moving a compiler contributor to the compiler team,…
5
comments