Merge "Synthetic constructor parameter annotation tests" into pi-dev