oli-obk
Follow
oli-obk
Follow
Pinned
865 contributions in the last year
Contribution activity
May 2022
Created 14 commits in 4 repositories
Created a pull request in rust-lang/rust that received 22 comments
Clean up derived obligation creation
r? @estebank working on fixing the perf regression from #91030 (comment)
+174
−219
•
22
comments
Opened 16 other pull requests in 4 repositories
rust-lang/rust
6
open
7
merged
- Forbid lifetime bounds in nested opaque types in binders
- Gracefully handle normalization failures in the prospective inliner cycle detector
-
Replace
#[default_method_body_is_const]with#[const_trait] - Use lifetimes on type-alias-impl-trait used in function signatures to infer output type lifetimes
- Check that closures satisfy their where bounds
- Change enum->int casts to not go through MIR casts.
- Check hidden types for well formedness at the definition site instead of only at the opaque type itself
- Remove opaque types from typeck expectations
- Add regression and bug tests
- Enable tracing for all queries
- Report that opaque types are not allowed in impls even in the presence of other errors
- Add regression test
- Use a yes/no enum instead of a bool.
rust-lang/miri
1
merged
rust-lang/rust-forge
1
open
rust-lang/team
1
merged
Reviewed 23 pull requests in 5 repositories
rust-lang/rust
19 pull requests
-
Implement RFC-2011 (Nicer
assert!messages) - Fix constants not getting dropped if part of a diverging expression
- Change enum->int casts to not go through MIR casts.
- Implement Valtree to ConstValue conversion
- Optimize switch sources representation and usage
-
diagnostics: port more diagnostics to derive + support for
()fields -
optimize
promote_constsby caching the results ofvalidate_local - Enable MIR inlining
-
change
ConstIntimpl to not rely onScalarInt - Add regression test
-
diagnostics: port more diagnostics to derive + add support for
Vecfields - Check hidden types for well formedness at the definition site instead of only at the opaque type itself
- interpret/validity: debug-check ScalarPair layout information
- Add Finalize statement to make deaggregation "reversible" by storing all information in MIR
- Enable tracing for all queries
- Avoid zero-sized allocs in ThinBox if T and H are both ZSTs.
- Use a yes/no enum instead of a bool.
- Remove dereferencing of Box from codegen
- make Size and Align debug-printing a bit more compact
rust-lang/miri
1 pull request
rust-lang/rustc-dev-guide
1 pull request
rust-lang/cargo-bisect-rustc
1 pull request
rust-lang/simpleinfra
1 pull request
Created an issue in rust-lang/compiler-team that received 1 comment
Replace generic parameter list with separate lists per param kind
Proposal Right now generic parameters and thus substitutions are a list that dynamically (via an enum) decides for each entry what kind it is. Addi…
•
1
comment
