Issue in Ionic production build for Mapbox GL JS feature

1. Does it work with ionic serve?
2. Does it work if you build without --prod as well?

If both is "Yes", then the problem is the stuff that happens in a --prod build by @ionic/app-scripts (which I don't know enough about to really be of help).