Exception transparency vs constructors

[Mark Mahieu]

It looks like exception transparency isn't working quite right with  
constructors - I think the following class should compile, but it  
doesn't:


public class ExTrans {

     <throws X> ExTrans({=> void throws X} block) throws X {
         block.invoke();
     }

     public static void main(String[] args) throws Exception {
         new ExTrans({=> throw new Exception(); });
     }
}



ExTrans.java:8: unreported exception X; must be caught or declared to  
be thrown
         new ExTrans({=> throw new Exception(); });
         ^
1 error



Regards,

Mark