mypyc is not yet completely stable, and might fail for things that are
correct Python (see
!61 (comment 456440)),
so don't make it a requirement that it passes for merging