"implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer." in for-of with strictNullChecks and noImplicitAny

[NaridaL]

TypeScript Version: 2.9.0-dev.20180409

Search Terms: referenced directly or indirectly in its own initializer

Code
Note: strictNullChecks and noImplicitAny need to be on. As far as I can tell, all the lines are necessary to reproduce the error:

declare const elements: Element[] | undefined
declare const elMap: Map<Element, Element[][]>
if (elements) {
    for (const elements2 /* ERROR*/ of elMap.get(elements[0])!) {
        if (elements !== elements2) {}
    }
}

Expected behavior:
No error. elements2 should be typed as Element[]

Actual behavior:
'elements2' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer. This is especially jarring because explicitly typing the variable of a for-loop is not allowed!

Playground Link: playground
Related Issues:
#12101 same error in same location which has been fixed. The more specific circumstances here still cause it though.

[ghost]

Duplcate of #19955 (Basically same as the containsItself example)