interface ii
{
  in void f();
  behaviour {
    on f: {} 
  }
}

interface i
{
  out void e();
  behaviour {
    on inevitable: e;
  }
}

component implicit_illegal_requires2
{
  provides ii p;
  requires i r;
  behaviour {
    on p.f: illegal;
  }
}