Skip to content

Classes: enforce rules about copying and sending classes #2296

New issue

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

#

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

Already on GitHub? # 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
# for free to join this conversation on GitHub. Already have an account? # 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