Co-authored-by: Eduardo San Martin Morote <posva@users.noreply.github.com>
Close https://github.com/vuejs/pinia/issues/1821
* Stops the associated effect scope of the store and remove it from the store
* registry. Plugins can override this method to cleanup any added effects.
* e.g. devtools plugin stops displaying disposed stores from devtools.
+ * Note this doesn't delete the state of the store, you have to do it manually with
+ * `delete pinia.state.value[store.$id]` if you want to. If you don't and the
+ * store is used again, it will reuse the previous state.
*/
$dispose(): void