diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2022-07-01 16:47:26 -0700 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2022-07-07 12:15:12 -0700 |
| commit | af10a456c19c447ff2bff585537d52a8d532bd86 (patch) | |
| tree | dfb4e9c247c42c7c495430f03b9bdda1013e749f /src/test/ui/self | |
| parent | d5642acfe689ca704b8572ea8ca88e43aeb70a11 (diff) | |
Track implicit `Sized` obligations in type params
Suggest adding a `?Sized` bound if appropriate on E0599 by inspecting the HIR Generics. (Fix #98539)
Diffstat (limited to 'src/test/ui/self')
| -rw-r--r-- | src/test/ui/self/point-at-arbitrary-self-type-method.stderr | 2 | ||||
| -rw-r--r-- | src/test/ui/self/point-at-arbitrary-self-type-trait-method.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/test/ui/self/point-at-arbitrary-self-type-method.stderr b/src/test/ui/self/point-at-arbitrary-self-type-method.stderr index 06ccc5b1afe..3c7cccfc9a1 100644 --- a/src/test/ui/self/point-at-arbitrary-self-type-method.stderr +++ b/src/test/ui/self/point-at-arbitrary-self-type-method.stderr @@ -2,7 +2,7 @@ error[E0599]: no method named `foo` found for struct `A` in the current scope --> $DIR/point-at-arbitrary-self-type-method.rs:8:7 | LL | struct A; - | - method `foo` not found for this struct + | -------- method `foo` not found for this struct ... LL | fn foo(self: Box<Self>) {} | --- the method is available for `Box<A>` here diff --git a/src/test/ui/self/point-at-arbitrary-self-type-trait-method.stderr b/src/test/ui/self/point-at-arbitrary-self-type-trait-method.stderr index bd77f67fb4e..366c14f7616 100644 --- a/src/test/ui/self/point-at-arbitrary-self-type-trait-method.stderr +++ b/src/test/ui/self/point-at-arbitrary-self-type-trait-method.stderr @@ -6,7 +6,7 @@ LL | trait B { fn foo(self: Box<Self>); } | | | the method is available for `Box<A>` here LL | struct A; - | - method `foo` not found for this struct + | -------- method `foo` not found for this struct ... LL | A.foo() | ^^^ method not found in `A` |