Skip to content

Commit

Permalink
update project-fn-test-invariant test
Browse files Browse the repository at this point in the history
  • Loading branch information
cengiz-io committed Nov 12, 2017
1 parent 1719971 commit f53fc57
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -46,8 +46,8 @@ fn baz<'a,'b>(x: Type<'a>, y: Type<'b>) -> (Type<'a>, Type<'b>) {
fn baz<'a,'b>(x: Type<'a>, y: Type<'b>) -> (Type<'a>, Type<'b>) {
let f = foo; // <-- No consistent type can be inferred for `f` here.
let a = bar(f, x);
let b = bar(f, y);
(a, b) //[oneuse]~ ERROR E0623
let b = bar(f, y); //[oneuse]~ ERROR 49:19: 49:20: lifetime mismatch [E0623]
(a, b)
}

#[cfg(transmute)] // one instantiations: BAD
Expand Down

0 comments on commit f53fc57

Please sign in to comment.