bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add a test for skipping all arguments versus just one

Browse source
This commit is contained in:
varkor 2018-08-20 16:32:59 +01:00
parent aa3b5c58e4
commit ee9bd0fd99
2 changed files with 52 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

21
src/test/ui/generic/generic-arg-mismatch-recover.rs Normal file
View file

@ -0,0 +1,21 @@
// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
struct Foo<'a, T: 'a>(&'a T);
struct Bar<'a>(&'a ());
fn main() {
Foo::<'static, 'static, ()>(&0); //~ ERROR wrong number of lifetime arguments
//~^ ERROR mismatched types
Bar::<'static, 'static, ()>(&()); //~ ERROR wrong number of lifetime arguments
//~^ ERROR wrong number of type arguments
}

31
src/test/ui/generic/generic-arg-mismatch-recover.stderr Normal file
View file

@ -0,0 +1,31 @@
error[E0088]: wrong number of lifetime arguments: expected 1, found 2
--> $DIR/generic-arg-mismatch-recover.rs:16:20
|
LL | Foo::<'static, 'static, ()>(&0); //~ ERROR wrong number of lifetime arguments
| ^^^^^^^ unexpected lifetime argument
error[E0308]: mismatched types
--> $DIR/generic-arg-mismatch-recover.rs:16:33
|
LL | Foo::<'static, 'static, ()>(&0); //~ ERROR wrong number of lifetime arguments
| ^^ expected (), found integral variable
|
= note: expected type `&'static ()`
found type `&{integer}`
error[E0088]: wrong number of lifetime arguments: expected 1, found 2
--> $DIR/generic-arg-mismatch-recover.rs:19:20
|
LL | Bar::<'static, 'static, ()>(&()); //~ ERROR wrong number of lifetime arguments
| ^^^^^^^ unexpected lifetime argument
error[E0087]: wrong number of type arguments: expected 0, found 1
--> $DIR/generic-arg-mismatch-recover.rs:19:29
|
LL | Bar::<'static, 'static, ()>(&()); //~ ERROR wrong number of lifetime arguments
| ^^ unexpected type argument
error: aborting due to 4 previous errors
Some errors occurred: E0087, E0088, E0308.
For more information about an error, try `rustc --explain E0087`.