fix ceylon/ceylon-compiler#1180