fix #25976 Initialize tagEffects for proc types that declare .forbids but omit .tags, so they behave like explicit tags: [] during indirect-call effect tracking. Add a regression for the nested callback assignment case.
