dianne
Follow
Popular repositories Loading
-
-
minesweeper-reasoning
minesweeper-reasoning PublicA formal description of and proofs about Minesweeper in Agda
Agda
-
rust
rust PublicForked from rust-lang/rust
Empowering everyone to build reliable and efficient software.
Rust
-
rustc-dev-guide
rustc-dev-guide PublicForked from rust-lang/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
HTML
176 contributions in the last year
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 5 commits in 1 repository
Created a pull request in rust-lang/rust that received 7 comments
allow deref patterns to move out of boxes
This adds a case to lower deref patterns on boxes using a built-in deref instead of a Deref::deref or DerefMut::deref_mut call: if deref!(inner): B…
+229
−82
lines changed
•
7
comments
Opened 2 other pull requests in 1 repository
rust-lang/rust
1
open
1
merged
-
allow deref patterns to participate in exhaustiveness analysis
This contribution was made on Apr 21
-
deref_patterns: support string and byte string literals in explicitderef!("...")patternsThis contribution was made on Apr 19
Reviewed 5 pull requests in 1 repository
rust-lang/rust
5 pull requests
-
Implement pin-project in pattern matching for
&pin mut|const TThis contribution was made on Apr 27 -
deref_patterns: support string and byte string literals in explicitderef!("...")patternsThis contribution was made on Apr 22 -
allow deref patterns to participate in exhaustiveness analysis
This contribution was made on Apr 21
-
deref patterns: implement implicit deref patterns
This contribution was made on Apr 16
-
literal pattern lowering: use the pattern's type instead of the literal's in
const_to_patThis contribution was made on Apr 2