diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2020-06-28 16:46:02 +0100 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-06 11:19:30 +0100 |
| commit | 5b279c801635c2762c013c1d13a9bead3bcd9df4 (patch) | |
| tree | 156749754f712a49b30eace463a579d3afc62ea7 /src/test/ui/impl-trait | |
| parent | b3057f4d5fe7156aa85e1844d3638fa14ba48b79 (diff) | |
Check opaque types satisfy their bounds
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/bound-normalization-fail.stderr | 2 | ||||
| -rw-r--r-- | src/test/ui/impl-trait/issue-55872-1.stderr | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/test/ui/impl-trait/bound-normalization-fail.stderr b/src/test/ui/impl-trait/bound-normalization-fail.stderr index 03aba10cc79..a7d06c71663 100644 --- a/src/test/ui/impl-trait/bound-normalization-fail.stderr +++ b/src/test/ui/impl-trait/bound-normalization-fail.stderr @@ -15,7 +15,6 @@ LL | fn foo_fail<T: Trait>() -> impl FooLike<Output=T::Assoc> { | = note: expected type `()` found associated type `<T as impl_trait::Trait>::Assoc` - = note: the return type of a function must have a statically known size help: consider constraining the associated type `<T as impl_trait::Trait>::Assoc` to `()` | LL | fn foo_fail<T: Trait<Assoc = ()>>() -> impl FooLike<Output=T::Assoc> { @@ -35,7 +34,6 @@ LL | fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> { | = note: expected type `()` found associated type `<T as lifetimes::Trait<'static>>::Assoc` - = note: the return type of a function must have a statically known size help: consider constraining the associated type `<T as lifetimes::Trait<'static>>::Assoc` to `()` | LL | fn foo2_fail<'a, T: Trait<'a, Assoc = ()>>() -> impl FooLike<Output=T::Assoc> { diff --git a/src/test/ui/impl-trait/issue-55872-1.stderr b/src/test/ui/impl-trait/issue-55872-1.stderr index db49d988bb8..64c536cf1fe 100644 --- a/src/test/ui/impl-trait/issue-55872-1.stderr +++ b/src/test/ui/impl-trait/issue-55872-1.stderr @@ -14,7 +14,6 @@ LL | type E = impl Copy; | ^^^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `S` | = note: required because it appears within the type `(S, T)` - = note: the return type of a function must have a statically known size help: consider further restricting this bound | LL | impl<S: Default + Copy> Bar for S { @@ -27,7 +26,6 @@ LL | type E = impl Copy; | ^^^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `T` | = note: required because it appears within the type `(S, T)` - = note: the return type of a function must have a statically known size help: consider further restricting this bound | LL | fn foo<T: Default + Copy>() -> Self::E { |