testing with dart2js seems to show dartbug 13519 is fixed