-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Phase 5.6 — Conformance: ambiguous multi-input lifetime produces diagnostic with suggested annotation
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 5.5 — Conformance: lifetime inference on single-input reference return needs no annotation
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 5.4 — Conformance: borrow that outlives its owner is rejected
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 5.3 — Conformance: simultaneous shared and mutable borrow is rejected
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 5.2 — Conformance: mutable borrow allows field mutation
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 5.1 — Conformance: multiple simultaneous shared borrows are allowed
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/5Phase 5: borrowing and lifetime inferencePhase 5: borrowing and lifetime inferencestatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 4.5 — Conformance: drop order is reverse of declaration order within a scope
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/4Phase 4: ownership and move semanticsPhase 4: ownership and move semanticsstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 4.4 — Conformance: primitive Copy types are exempt from move restrictions
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/4Phase 4: ownership and move semanticsPhase 4: ownership and move semanticsstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 4.3 — Conformance: conditional move across branches is rejected
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/4Phase 4: ownership and move semanticsPhase 4: ownership and move semanticsstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 4.2 — Conformance: double-move is rejected with use-after-move diagnostic
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/4Phase 4: ownership and move semanticsPhase 4: ownership and move semanticsstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 4.1 — Conformance: moved value is invalidated after function call
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/4Phase 4: ownership and move semanticsPhase 4: ownership and move semanticsstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.Phase 3.8 — Conformance: CSV-style parser using pattern matching on characters
area/analysisType system, trait solver, borrow checker, pattern matchingType system, trait solver, borrow checker, pattern matchingenhancementNew feature or requestNew feature or requestphase/3Phase 3: pattern matchingPhase 3: pattern matchingstatus/readyAll dependencies met — ready to implementAll dependencies met — ready to implementStatus: Open.