type:fixed
In CameLIGO's abstractor there was some mandatory annotation checks, but these checks are not needed anymore, as we have better inference.
Changelog details: