JS static type inference is there now.