Rename core::box to core::managed #4079

New issue

Copy link

New issue

Copy link

Closed

Closed

Rename core::box to core::managed#4079

Copy link

Labels

E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Description

brson

opened on Nov 30, 2012

Issue body actions

There's already core::owned

Reactions are currently unavailable

Activity

1. graydon

   closed this as completedin 94be145on Dec 4, 2012
2. bors

   added a commit that references this issue on May 15, 2021

   fix: backport fix for rust-lang#4079

   796d6ea
3. RalfJung

   added a commit that references this issue on Dec 8, 2024

   Merge pull request rust-lang#4079 from rust-lang/rustup-2024-12-07

   ...

   e82426c

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

E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call 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

• Open in GitHub Copilot app