Diagnostic about "left-hand side of a 'for...in' statement" type is out of date

TypeScript Version: 2.1.5

Now that the left side of a 'for...in' statement is apparently allowed to be keyof the right side, the diagnostic for when the left side has the wrong type needs to be updated to account for that possibility.

(Aside: Is it intentional that the left side won't be inferred to have the keyof type because of the unsoundness described in #12314, but it is allowed to be explicitly declared as that type?)

Code

interface Foo {
  x: number;
  y: string;
}

function scan(f: Foo) {
  let k: number;
  for (k in f) {  // Error: "The left-hand side of a 'for...in' statement must be of type 'string' or 'any'."
    console.log(k);
  }
  let k2: keyof Foo;
  for (k2 in f) {  // No error
    console.log(k2);
  }
}

Expected behavior:
Something like "The index type of the right side of a 'for...in' statement must be assignable to the left side" perhaps, with details on the failure of assignability?

Actual behavior:
"The left-hand side of a 'for...in' statement must be of type 'string' or 'any'."

Bắt đầu bằng cách tái hiện ví dụ for...in được cung cấp và so sánh chẩn đoán cho number với trường hợp keyof Foo được chấp nhận. Issue không nêu tệp nguồn hay bài kiểm thử nào; hãy tìm chẩn đoán của trình kiểm tra kiểu và các bài kiểm thử hiện có, sau đó cập nhật cách diễn đạt và xác minh rằng các trường hợp không chính xác và hợp lệ đều được bao phủ.