What goes on underneath Overlay Types

<<By Andrew Bowers, Google Web Toolkit Team
Recently I was giving an introductory talk on JavaScript Overlay Types in GWT. A question came up about what I meant by the following:
final native void foo(int x, int y) /*-{ … }-*/;
can magically become
final static native void foo(MyJS…>>   (more…)

See original post by Chris Gilmer