GROOVY-5933: @TypeChecked$TypeCheckingInfo is added to constructors (minor tweaks)