-
Notifications
You must be signed in to change notification settings - Fork 68
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#437 In rust-lang/a-mir-formality;
- Status: Open.#429 In rust-lang/a-mir-formality;
Support binary and unary operators (
+,+=, etc.)good next projectMedium complexity — good after a first issueMedium complexity — good after a first issueStatus: Open.#428 In rust-lang/a-mir-formality;Improve integer literal syntax (
0_u32instead of0 _ u32)good first issueGood for newcomersGood for newcomersStatus: Open.#427 In rust-lang/a-mir-formality;Drop: model drop elaboration in codegen
so you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.Status: Open.#425 In rust-lang/a-mir-formality;Drop: model
#[may_dangle]/ dropck eyepatchso you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.Status: Open.#424 In rust-lang/a-mir-formality;Drop: detect implicit use at scope exit (drop glue)
so you want a challengeChallenging projects for people who are committed.Challenging projects for people who are committed.Status: Open.#423 In rust-lang/a-mir-formality;Drop: no moving from a struct that implements Drop
good next projectMedium complexity — good after a first issueMedium complexity — good after a first issueStatus: Open.#422 In rust-lang/a-mir-formality;Drop: enforce "always applicable" rules
good next projectMedium complexity — good after a first issueMedium complexity — good after a first issueStatus: Open.#421 In rust-lang/a-mir-formality;Umbrella: Model the Drop trait
metaA tracking issue (an issue about issues)A tracking issue (an issue about issues)Status: Open.#420 In rust-lang/a-mir-formality;Add
mutdeclarations and mutable-place checksgood next projectMedium complexity — good after a first issueMedium complexity — good after a first issueStatus: Open.#419 In rust-lang/a-mir-formality;Clean up
prove::prove::provemodule nestinggood next projectMedium complexity — good after a first issueMedium complexity — good after a first issueStatus: Open.#418 In rust-lang/a-mir-formality;