§4.1.(b) Prerequisite: Class binding

A callin binding requires the enclosing class to be a role class bound to a base class according to §2.1. An unliftable role (see §2.3.4.(a)) cannot define callin bindings. In that case callin bindings can only be introduced in sub-roles which (by an appropriately refined playedBy clause) disambiguate the lifting translation.