diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2025-04-05 19:19:56 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2025-04-30 10:44:24 +0300 |
| commit | 20faf8532b5ddeb636ba3078344b0cad058c8f8a (patch) | |
| tree | 04512e985a99a3715b4a0829826be7139fdcee09 /tests/ui/destructure-trait-ref.rs | |
| parent | 427288b3ce2d574847fdb41cc3184c893750e09a (diff) | |
| download | rust-20faf8532b5ddeb636ba3078344b0cad058c8f8a.tar.gz rust-20faf8532b5ddeb636ba3078344b0cad058c8f8a.zip | |
compiletest: Make diagnostic kind mandatory on line annotations
Diffstat (limited to 'tests/ui/destructure-trait-ref.rs')
| -rw-r--r-- | tests/ui/destructure-trait-ref.rs | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tests/ui/destructure-trait-ref.rs b/tests/ui/destructure-trait-ref.rs index 50b64aeebf0..daa0ca30d68 100644 --- a/tests/ui/destructure-trait-ref.rs +++ b/tests/ui/destructure-trait-ref.rs @@ -1,6 +1,8 @@ // The regression test for #15031 to make sure destructuring trait // reference work properly. +//@ dont-require-annotations: NOTE + #![feature(box_patterns)] trait T { fn foo(&self) {} } @@ -31,14 +33,14 @@ fn main() { // n > m let &&x = &1isize as &dyn T; //~^ ERROR mismatched types - //~| expected trait object `dyn T` - //~| found reference `&_` + //~| NOTE expected trait object `dyn T` + //~| NOTE found reference `&_` let &&&x = &(&1isize as &dyn T); //~^ ERROR mismatched types - //~| expected trait object `dyn T` - //~| found reference `&_` + //~| NOTE expected trait object `dyn T` + //~| NOTE found reference `&_` let box box x = Box::new(1isize) as Box<dyn T>; //~^ ERROR mismatched types - //~| expected trait object `dyn T` - //~| found struct `Box<_>` + //~| NOTE expected trait object `dyn T` + //~| NOTE found struct `Box<_>` } |