Kyle Hardgrave

$Keys of a subclass errors incorrectly on superclass keys

3

[Example](https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVBjGBDAzrsAYTAG9UwwAPALjADsBXAWwCMBTAJwG5UBfdLHgIARMG0oAXNnQAmBYiX6oYbCWBlgAvPTZJhACgCU6FWpr1m7DlvUA6SmGDAwAOThiOHOB2WqwAa1oAEgBpNgBPXAAeYQA+GwBySgTHZwBRT29UIA) In this example, `'x'` should satisfy the type `$Keys` since `x` is a field on the superclass, but instead it throws an error. --- ``` js /* @flow */...

Flow version: v0.108.0 [latest] I think I've found a place where Flow fails to preserve the invariance of types in JS arrays, by letting an array check as two incompatible...