interface iimplicit_illegal
{
  in void e();
  behaviour {
    bool done = false;
    on e: done = true;
    [done] on e: illegal;
  }
}

component implicit_illegal
{
  provides iimplicit_illegal p;
  behaviour {
    bool done = false;
    [done] on p.e: illegal;
  }
}