interface i
{
  in void ia();
  in void ib();

  behaviour
  {
    on ia: {}
    on ib: illegal;
  }
}

component compliance_requires_illegal
{
  provides i pp;
  requires i rp;

  behaviour
  {
    on pp.ia(): rp.ib();
  }
}