Checked exception and Attributes

From time to time I argue with java guys about checked exceptions and I have to admit that I see a lot of logic in that concept. I read Anders Hejlsberg opinion about Checked Exceptions and it looks that using attributes to declare function exceptions and validate exception handling in compile time could solve that problem. Amit On and I play around with that concept and it works fine. The problem is that MS doesn't implement such mechanism so we can't handle and enforce exception handle of CLR functions. Any Microsoft or others comments?