8000 Rollup of 4 pull requests by Centril · Pull Request #65596 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content
8000

Rollup of 4 pull requests #65596

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

Closed
wants to merge 27 commits into from
Closed

Rollup of 4 pull requests #65596

Changes from 1 commit
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
190589f
Use structured suggestion for restricting bounds
estebank Oct 7, 2019
5b7ffd9
Handle more cases
estebank Oct 8, 2019
dbd75c8
Handle more cases involving `impl` and `trait`
estebank Oct 8, 2019
99ab45b
Handle `Self` restriction needed
estebank Oct 8, 2019
ca1885d
Update some tests involving `Self`
estebank Oct 8, 2019
b81df6b
Consider trait aliases
estebank Oct 8, 2019
daa8491
Update NLL tests
estebank Oct 8, 2019
5cc99ee
Handle missing projection restriction
estebank Oct 9, 2019
bc744bc
Suggest associated bound restrictions in `impl`s
estebank Oct 9, 2019
ab7d8f0
Deduplicate some code and apply review comments
estebank Oct 10, 2019
39a9e2e
Remove useless `help`
estebank Oct 10, 2019
8cabb42
Remove trailing whitespace
estebank Oct 10, 2019
9c525ee
review comments
estebank Oct 15, 2019
9ed463a
Do not suggest restriction on spans originating in macros
estebank Oct 15, 2019
9ecd1d2
Simplify code
estebank Oct 15, 2019
c6dce78
Fix comparison after rebase
estebank Oct 15, 2019
470e9d2
Rc: value -> allocation
RalfJung Oct 17, 2019
868a772
more consistency and clarification
RalfJung Oct 17, 2019
5697432
BTreeSet symmetric_difference & union optimized, cleaned
ssomers Oct 8, 2019
696cba6
the exampleis about drop, not (de)allocation
RalfJung 8000 Oct 19, 2019
fac34eb
bump miri
RalfJung Oct 19, 2019
52a31f7
some more Rc tweaks
RalfJung Oct 19, 2019
1b38463
do all the same edits with Arc
RalfJung Oct 19, 2019
ef8ac78
Rollup merge of #65192 - estebank:restrict-bound, r=matthewjasper
Centril Oct 19, 2019
7c0186a
Rollup merge of #65226 - ssomers:master, r=bluss
Centril Oct 19, 2019
df2c324
Rollup merge of #65505 - RalfJung:rc, r=Centril
Centril Oct 19, 2019
a9d40b4
Rollup merge of #65594 - RalfJung:miri, r=RalfJung
Centril Oct 19, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update NLL tests
  • Loading branch information
@estebank
estebank committed Oct 15, 2019
commit daa8491648d742085bf071169624d99d542a044f
16 changes: 12 additions & 4 deletions src/test/ui/kindck/kindck-impl-type-params.nll.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,42 +1,50 @@
error[E0277]: `T` cannot be sent between threads safely
--> $DIR/kindck-impl-type-params.rs:18:13
|
LL | fn f<T>(val: T) {
| - help: consider restricting this bound: `T: std::marker::Send`
LL | let t: S<T> = S(marker::PhantomData);
LL | let a = &t as &dyn Gettable<T>;
| ^^ `T` cannot be sent between threads safely
|
= help: the trait `std::marker::Send` is not implemented for `T`
= help: consider adding a `where T: std::marker::Send` bound
= note: required because of the requirements on the impl of `Gettable<T>` for `S<T>`
= note: required for the cast to the object type `dyn Gettable<T>`

error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
--> $DIR/kindck-impl-type-params.rs:18:13
|
LL | fn f<T>(val: T) {
| - help: consider restricting this bound: `T: std::marker::Copy`
LL | let t: S<T> = S(marker::PhantomData);
LL | let a = &t as &dyn Gettable<T>;
| ^^ the trait `std::marker::Copy` is not implemented for `T`
|
= help: consider adding a `where T: std::marker::Copy` bound
= note: required because of the requirements on the impl of `Gettable<T>` for `S<T>`
= note: required for the cast to the object type `dyn Gettable<T>`

error[E0277]: `T` cannot be sent between threads safely
--> $DIR/kindck-impl-type-params.rs:25:31
|
LL | fn g<T>(val: T) {
| - help: consider restricting this bound: `T: std::marker::Send`
LL | let t: S<T> = S(marker::PhantomData);
LL | let a: &dyn Gettable<T> = &t;
| ^^ `T` cannot be sent between threads safely
|
= help: the trait `std::marker::Send` is not implemented for `T`
= help: consider adding a `where T: std::marker::Send` bound
= note: required because of the requirements on the impl of `Gettable<T>` for `S<T>`
= note: required for the cast to the object type `dyn Gettable<T>`

error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
--> $DIR/kindck-impl-type-params.rs:25:31
|
LL | fn g<T>(val: T) {
| - help: consider restricting this bound: `T: std::marker::Copy`
LL | let t: S<T> = S(marker::PhantomData);
LL | let a: &dyn Gettable<T> = &t;
| ^^ the trait `std::marker::Copy` is not implemented for `T`
|
= help: consider adding a `where T: std::marker::Copy` bound
= note: required because of the requirements on the impl of `Gettable<T>` for `S<T>`
= note: required for the cast to the object type `dyn Gettable<T>`

Expand Down
0