Skip to content

Commit

Permalink
Make sure constructors functions are type checked correctly
Browse files Browse the repository at this point in the history
  • Loading branch information
matthewjasper committed Jun 6, 2019
1 parent 0d75ab2 commit bcf8365
Show file tree
Hide file tree
Showing 2 changed files with 127 additions and 0 deletions.
71 changes: 71 additions & 0 deletions src/test/ui/nll/user-annotations/adt-tuple-struct-calls.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
// Unit test for the "user substitutions" that are annotated on each
// node.

struct SomeStruct<T>(T);

fn no_annot() {
let c = 66;
let f = SomeStruct;
f(&c);
}

fn annot_underscore() {
let c = 66;
let f = SomeStruct::<_>;
f(&c);
}

fn annot_reference_any_lifetime() {
let c = 66;
let f = SomeStruct::<&u32>;
f(&c);
}

fn annot_reference_static_lifetime() {
let c = 66;
let f = SomeStruct::<&'static u32>;
f(&c); //~ ERROR
}

fn annot_reference_named_lifetime<'a>(_d: &'a u32) {
let c = 66;
let f = SomeStruct::<&'a u32>;
f(&c); //~ ERROR
}

fn annot_reference_named_lifetime_ok<'a>(c: &'a u32) {
let f = SomeStruct::<&'a u32>;
f(c);
}

fn annot_reference_named_lifetime_in_closure<'a>(_: &'a u32) {
let _closure = || {
let c = 66;
let f = SomeStruct::<&'a u32>;
f(&c); //~ ERROR
};
}

fn annot_reference_named_lifetime_across_closure<'a>(_: &'a u32) {
let f = SomeStruct::<&'a u32>;
let _closure = || {
let c = 66;
f(&c); //~ ERROR
};
}

fn annot_reference_named_lifetime_in_closure_ok<'a>(c: &'a u32) {
let _closure = || {
let f = SomeStruct::<&'a u32>;
f(c);
};
}

fn annot_reference_named_lifetime_across_closure_ok<'a>(c: &'a u32) {
let f = SomeStruct::<&'a u32>;
let _closure = || {
f(c);
};
}

fn main() { }
56 changes: 56 additions & 0 deletions src/test/ui/nll/user-annotations/adt-tuple-struct-calls.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
error[E0597]: `c` does not live long enough
--> $DIR/adt-tuple-struct-calls.rs:27:7
|
LL | f(&c);
| --^^-
| | |
| | borrowed value does not live long enough
| argument requires that `c` is borrowed for `'static`
LL | }
| - `c` dropped here while still borrowed

error[E0597]: `c` does not live long enough
--> $DIR/adt-tuple-struct-calls.rs:33:7
|
LL | fn annot_reference_named_lifetime<'a>(_d: &'a u32) {
| -- lifetime `'a` defined here
...
LL | f(&c);
| --^^-
| | |
| | borrowed value does not live long enough
| argument requires that `c` is borrowed for `'a`
LL | }
| - `c` dropped here while still borrowed

error[E0597]: `c` does not live long enough
--> $DIR/adt-tuple-struct-calls.rs:45:11
|
LL | fn annot_reference_named_lifetime_in_closure<'a>(_: &'a u32) {
| -- lifetime `'a` defined here
...
LL | f(&c);
| --^^-
| | |
| | borrowed value does not live long enough
| argument requires that `c` is borrowed for `'a`
LL | };
| - `c` dropped here while still borrowed

error[E0597]: `c` does not live long enough
--> $DIR/adt-tuple-struct-calls.rs:53:11
|
LL | let f = SomeStruct::<&'a u32>;
| - lifetime `'1` appears in the type of `f`
...
LL | f(&c);
| --^^-
| | |
| | borrowed value does not live long enough
| argument requires that `c` is borrowed for `'1`
LL | };
| - `c` dropped here while still borrowed

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0597`.

0 comments on commit bcf8365

Please sign in to comment.