oli-obk
Follow
oli-obk
Follow
Pinned
1,293 contributions in the last year
Less
More
Activity overview
Contribution activity
July 2021
Created 32 commits in 4 repositories
Created a pull request in rust-lang/rust that received 28 comments
Make mir borrowck's use of opaque types independent of the typeck query's result
fixes #87218 fixes #86465 we used to use the typeck results only to generate an obligation for the mir borrowck type to be equal to the typeck result.
+206
−301
•
28
comments
Opened 3 other pull requests in 1 repository
Reviewed 39 pull requests in 4 repositories
rust-lang/rust 36 pull requests
- Fix span when suggesting to add an associated type bound
- Prevent opaque types in impl headers
- Try filtering out non-const impls when we expect const impls
- Don't abort compilation after giving a lint error
- Make mir borrowck's use of opaque types independent of the typeck query's result
- Various diagnostics clean ups/tweaks
- Remove impl trait in bindings
- Recognize bounds on impls as const bounds
- Add hir::GenericArg::Infer
- VecMap::get_value_matching should return just one element
- CTFE/Miri engine Pointer type overhaul
- Remove refs from Pat slices
- Loop over all opaque types instead of looking at just the first one with the same DefId
-
Stabilize
const_fn_transmute,const_fn_union - Handle non-integer const generic parameters in debuginfo type names.
- expand: Support helper attributes for built-in derive macros
- Use ValTree in all type level constants
- Add -Zfuture-incompat-test to assist with testing future-incompat reports.
-
extend
simplify_type - Fix ICE with unsized type in const pattern
- Implement Mutation- and BorrowOfLayoutConstrainedField in thir-unsafeck
- Add #[default_method_body_is_const]
- remove const_raw_ptr_to_usize_cast feature
- Make format_args!("literal") const.
- Use #[track_caller] in const panic diagnostics.
- Some pull request reviews not shown.