Require exact binding annotations