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