diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2021-07-20 10:56:33 -0500 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2021-07-22 10:22:00 -0500 |
| commit | 0ebd6e489150ce79bee339ff713078bf6eff2eae (patch) | |
| tree | b80da0796e1b53d51688b7cdc8db7e9d8b37710a /src/test/ui/wf | |
| parent | f913a4fe901d6aeb84941fa06c17916d4e6d1dd7 (diff) | |
| download | rust-0ebd6e489150ce79bee339ff713078bf6eff2eae.tar.gz rust-0ebd6e489150ce79bee339ff713078bf6eff2eae.zip | |
Extend HIR WF checking to fields
Diffstat (limited to 'src/test/ui/wf')
| -rw-r--r-- | src/test/ui/wf/wf-in-fn-type-arg.stderr | 4 | ||||
| -rw-r--r-- | src/test/ui/wf/wf-in-fn-type-ret.stderr | 4 | ||||
| -rw-r--r-- | src/test/ui/wf/wf-in-obj-type-trait.stderr | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/src/test/ui/wf/wf-in-fn-type-arg.stderr b/src/test/ui/wf/wf-in-fn-type-arg.stderr index 33300b39642..20aa9770710 100644 --- a/src/test/ui/wf/wf-in-fn-type-arg.stderr +++ b/src/test/ui/wf/wf-in-fn-type-arg.stderr @@ -1,11 +1,11 @@ error[E0277]: the trait bound `T: Copy` is not satisfied - --> $DIR/wf-in-fn-type-arg.rs:9:8 + --> $DIR/wf-in-fn-type-arg.rs:9:11 | LL | struct MustBeCopy<T:Copy> { | ---- required by this bound in `MustBeCopy` ... LL | x: fn(MustBeCopy<T>) - | ^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` + | ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` | help: consider restricting type parameter `T` | diff --git a/src/test/ui/wf/wf-in-fn-type-ret.stderr b/src/test/ui/wf/wf-in-fn-type-ret.stderr index 1ffc47e6d82..48af696c3a7 100644 --- a/src/test/ui/wf/wf-in-fn-type-ret.stderr +++ b/src/test/ui/wf/wf-in-fn-type-ret.stderr @@ -1,11 +1,11 @@ error[E0277]: the trait bound `T: Copy` is not satisfied - --> $DIR/wf-in-fn-type-ret.rs:9:8 + --> $DIR/wf-in-fn-type-ret.rs:9:16 | LL | struct MustBeCopy<T:Copy> { | ---- required by this bound in `MustBeCopy` ... LL | x: fn() -> MustBeCopy<T> - | ^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` + | ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` | help: consider restricting type parameter `T` | diff --git a/src/test/ui/wf/wf-in-obj-type-trait.stderr b/src/test/ui/wf/wf-in-obj-type-trait.stderr index 8606eabf59c..b3b919a569e 100644 --- a/src/test/ui/wf/wf-in-obj-type-trait.stderr +++ b/src/test/ui/wf/wf-in-obj-type-trait.stderr @@ -1,11 +1,11 @@ error[E0277]: the trait bound `T: Copy` is not satisfied - --> $DIR/wf-in-obj-type-trait.rs:11:8 + --> $DIR/wf-in-obj-type-trait.rs:11:19 | LL | struct MustBeCopy<T:Copy> { | ---- required by this bound in `MustBeCopy` ... LL | x: dyn Object<MustBeCopy<T>> - | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` + | ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T` | help: consider restricting type parameter `T` | |