diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-06-21 15:26:44 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-06-21 16:38:35 -0400 |
| commit | a2a019a28a6b5e78fd696261f1906cfbcabedb01 (patch) | |
| tree | ebfe7695186ef794fa662672bd7148f441ed8733 /src/test/ui/error-codes | |
| parent | b36917b33104dc0af4d26d53899b7cd064a40b22 (diff) | |
| download | rust-a2a019a28a6b5e78fd696261f1906cfbcabedb01.tar.gz rust-a2a019a28a6b5e78fd696261f1906cfbcabedb01.zip | |
do not introduce *false* results from lifetime resolution
Diffstat (limited to 'src/test/ui/error-codes')
| -rw-r--r-- | src/test/ui/error-codes/E0657.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/error-codes/E0657.stderr | 23 |
2 files changed, 23 insertions, 4 deletions
diff --git a/src/test/ui/error-codes/E0657.rs b/src/test/ui/error-codes/E0657.rs index c23aa40ee37..05a4b8b3544 100644 --- a/src/test/ui/error-codes/E0657.rs +++ b/src/test/ui/error-codes/E0657.rs @@ -19,7 +19,7 @@ fn free_fn_capture_hrtb_in_impl_trait() -> Box<for<'a> Id<impl Lt<'a>>> //~^ ERROR `impl Trait` can only capture lifetimes bound at the fn or impl level [E0657] { - () + () //~ ERROR mismatched types } struct Foo; @@ -28,7 +28,7 @@ impl Foo { -> Box<for<'a> Id<impl Lt<'a>>> //~^ ERROR `impl Trait` can only capture lifetimes bound at the fn or impl level { - () + () //~ ERROR mismatched types } } diff --git a/src/test/ui/error-codes/E0657.stderr b/src/test/ui/error-codes/E0657.stderr index 737ae3a163a..23b9666de3c 100644 --- a/src/test/ui/error-codes/E0657.stderr +++ b/src/test/ui/error-codes/E0657.stderr @@ -10,6 +10,25 @@ error[E0657]: `impl Trait` can only capture lifetimes bound at the fn or impl le LL | -> Box<for<'a> Id<impl Lt<'a>>> | ^^ -error: aborting due to 2 previous errors +error[E0308]: mismatched types + --> $DIR/E0657.rs:22:5 + | +LL | () //~ ERROR mismatched types + | ^^ expected struct `std::boxed::Box`, found () + | + = note: expected type `std::boxed::Box<Id<_> + 'static>` + found type `()` + +error[E0308]: mismatched types + --> $DIR/E0657.rs:31:9 + | +LL | () //~ ERROR mismatched types + | ^^ expected struct `std::boxed::Box`, found () + | + = note: expected type `std::boxed::Box<Id<_> + 'static>` + found type `()` + +error: aborting due to 4 previous errors -For more information about this error, try `rustc --explain E0657`. +Some errors occurred: E0308, E0657. +For more information about an error, try `rustc --explain E0308`. |