diff options
| author | Michael Goulet <michael@errs.io> | 2022-09-14 23:20:03 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-10-14 04:27:01 +0000 |
| commit | 76386bd65e650b5289b142daa310a4b98230c3db (patch) | |
| tree | b19f517615b9b5dcf35370d2ba8285a7f94f151d /src/test | |
| parent | edabf59ca4646b3fc1a961c26431215001043f6a (diff) | |
| download | rust-76386bd65e650b5289b142daa310a4b98230c3db.tar.gz rust-76386bd65e650b5289b142daa310a4b98230c3db.zip | |
Make dyn* cast into a coercion
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/dyn-star/const.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/dyn-star/drop.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/dyn-star/error.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/dyn-star/error.stderr | 2 | ||||
| -rw-r--r-- | src/test/ui/dyn-star/make-dyn-star.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/dyn-star/method.rs | 3 |
6 files changed, 7 insertions, 6 deletions
diff --git a/src/test/ui/dyn-star/const.rs b/src/test/ui/dyn-star/const.rs index e49caf649f8..67e3ab7ab35 100644 --- a/src/test/ui/dyn-star/const.rs +++ b/src/test/ui/dyn-star/const.rs @@ -6,7 +6,7 @@ use std::fmt::Debug; fn make_dyn_star() { let i = 42usize; - let dyn_i: dyn* Debug = i as dyn* Debug; + let dyn_i: dyn* Debug = i; } fn main() { diff --git a/src/test/ui/dyn-star/drop.rs b/src/test/ui/dyn-star/drop.rs index 46b232f3dd3..1478498c0a9 100644 --- a/src/test/ui/dyn-star/drop.rs +++ b/src/test/ui/dyn-star/drop.rs @@ -15,7 +15,7 @@ impl Drop for Foo { } fn make_dyn_star(i: Foo) { - let _dyn_i: dyn* Debug = i as dyn* Debug; + let _dyn_i: dyn* Debug = i; } fn main() { diff --git a/src/test/ui/dyn-star/error.rs b/src/test/ui/dyn-star/error.rs index 33eff80a5fe..d8261387efa 100644 --- a/src/test/ui/dyn-star/error.rs +++ b/src/test/ui/dyn-star/error.rs @@ -7,7 +7,7 @@ trait Foo {} fn make_dyn_star() { let i = 42; - let dyn_i: dyn* Foo = i as dyn* Foo; //~ ERROR trait bound `{integer}: Foo` is not satisfied + let dyn_i: dyn* Foo = i; //~ ERROR trait bound `{integer}: Foo` is not satisfied } fn main() {} diff --git a/src/test/ui/dyn-star/error.stderr b/src/test/ui/dyn-star/error.stderr index d612ccc630e..ae54b9ca707 100644 --- a/src/test/ui/dyn-star/error.stderr +++ b/src/test/ui/dyn-star/error.stderr @@ -1,7 +1,7 @@ error[E0277]: the trait bound `{integer}: Foo` is not satisfied --> $DIR/error.rs:10:27 | -LL | let dyn_i: dyn* Foo = i as dyn* Foo; +LL | let dyn_i: dyn* Foo = i; | ^ the trait `Foo` is not implemented for `{integer}` error: aborting due to previous error diff --git a/src/test/ui/dyn-star/make-dyn-star.rs b/src/test/ui/dyn-star/make-dyn-star.rs index 708ffa25d6f..4f9393abb30 100644 --- a/src/test/ui/dyn-star/make-dyn-star.rs +++ b/src/test/ui/dyn-star/make-dyn-star.rs @@ -5,7 +5,7 @@ use std::fmt::Debug; fn make_dyn_star(i: usize) { - let _dyn_i: dyn* Debug = i as dyn* Debug; + let _dyn_i: dyn* Debug = i; } fn main() { diff --git a/src/test/ui/dyn-star/method.rs b/src/test/ui/dyn-star/method.rs index d04958ca2aa..5a77640f0d9 100644 --- a/src/test/ui/dyn-star/method.rs +++ b/src/test/ui/dyn-star/method.rs @@ -1,4 +1,5 @@ // run-pass + #![feature(dyn_star)] #![allow(incomplete_features)] @@ -17,7 +18,7 @@ fn invoke_dyn_star(i: dyn* Foo) -> usize { } fn make_and_invoke_dyn_star(i: usize) -> usize { - let dyn_i: dyn* Foo = i as dyn* Foo; + let dyn_i: dyn* Foo = i; invoke_dyn_star(dyn_i) } |
