Context

Second step to ignoring annotations (tzip!138 (closed), #2025 (closed)): getting rid of variable annotations in pairs (this a redo of the second part of !2482 (closed)). The first step is !4139 (merged).

The first commit does remove the var_annot from the Pair_t constructor of ty, the others are just consequential simplifications.

Tests

CI regtests

~~[ ] Document the interface of any function added or modified (see the coding guidelines)~~
~~[ ] Document any change to the user interface, including configuration parameters (see node configuration)~~
Provide automatic testing (see the testing guide).
For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, the Development Version section of CHANGES.md for everything else).
Select suitable reviewers using the Reviewers field below.
Select as Assignee the next person who should take action on that MR

Edited Jan 12, 2022 by Mehdi Bouaziz