part of ceylon/ceylon-js#436