update project-fn-test-invariant test

This commit is contained in:
Cengiz Can 2017-11-12 17:58:05 +00:00
parent 17199713e8
commit f53fc57297
1 changed files with 2 additions and 2 deletions

View File

@ -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