Skip to content

Classes: enforce rules about copying and sending classes #2296

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
catamorphism opened this issue Apr 25, 2012 · 0 comments
Closed

Classes: enforce rules about copying and sending classes #2296

catamorphism opened this issue Apr 25, 2012 · 0 comments
Labels
A-type-system Area: Type system
Milestone
0.3

Comments

@catamorphism
Copy link
Contributor

(see #1726)
@ghost ghost assigned catamorphism Apr 25, 2012
@catamorphism catamorphism removed their assignment Jun 16, 2014
bors added a commit to rust-lang-ci/rust that referenced this issue Sep 22, 2022
@bors
Auto merge of rust-lang#2296 - RalfJung:miri-script, r=RalfJung
5815d8d 
./miri improvements

I have needed to run something with many different seeds often enough that I would like an easier way to do it. ;) So now we have `./miri many-seeds`.

Also I made the script less dependent on the working directory, so calling it from a different directory should work properly now even if that other directory does not have the same rustup override as the one where Miri lives.
jieyouxu added a commit to jieyouxu/rust that referenced this issue Apr 2, 2025
@jieyouxu
Merge pull request rust-lang#2296 from jieyouxu/no-external-linkcheck
beb1c00 
Don't linkcheck external web links in PR CI
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
0.3
Development

No branches or pull requests
1 participant
@catamorphism