Just stumbled upon this: https://groups.google.com/forum/#!topic/mozilla.dev.gaia/Il3DiRpIZ0U
In this particular case, the right conclusions was arrived at, but I wonder if we should try to be more proactive about getting people to not use any features we want to remove eventually. Or, at least, be free to deoptimize as needed. Posting to dev-platform, dev-gaja and I-don't-know-where-else might be useful. _______________________________________________ dev-tech-js-engine-internals mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-js-engine-internals
