module M {
  interface thing {
    attribute boolean interface; // error: interface collides
                               // with keyword interface
  };
};

Example 2: According to the spec, this test should fail.