Skip to content

std-extra.rs should be rewritten #7685

Closed
Closed
std-extra.rs should be rewritten#7685
Labels
C-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Description

@emberian
emberian
opened on Jul 10, 2013

Needs to use the fancy new bench runner.

Activity

  1. catamorphism commented on Aug 26, 2013

    @catamorphism
    catamorphism
    on Aug 26, 2013
    Contributor

    I can't find a file called std-extra.rs anymore. Closing this; reopen if I'm in error.

  2. catamorphism
    closed this as completedon Aug 26, 2013
  3. flip1995
    added a commit that references this issue on Sep 28, 2021

    Auto merge of rust-lang#7685 - camsteffen:let-else-needless-ret, r=gi…

    8a75002
  4. U007D
    added a commit that references this issue on Aug 21, 2026

    Merge rust-lang#7685

    00d5a95
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions