I believe that there should have been a precondition along the lines of :
The recipe that we want to add to the favorites list has not yet been starred.
Either that or there should be an extension that explains the scenario where if the recipe has already been starred, an error message will be shown to the user.
I believe that this is different from extention 1a where the specified index is invalid. Because the specified index may be valid but the recipe is already starred and there should still be an error message shown to the user to alert him/her
I believe that there should have been a precondition along the lines of : The recipe that we want to add to the favorites list has not yet been starred.
Either that or there should be an extension that explains the scenario where if the recipe has already been starred, an error message will be shown to the user.
I believe that this is different from extention 1a where the specified index is invalid. Because the specified index may be valid but the recipe is already starred and there should still be an error message shown to the user to alert him/her