Basically they took random JavaScript bugs and annotated them with Flow and Typescript type hints and then checked whether the bug was detected.

Pretty clever methodology really.