GROOVY-5933: @TypeChecked$TypeCheckingInfo is added to constructors