within과 execution은 type 범위와 signature 정밀도가 다르다
broad module selection은 annotation 교집합으로 줄이고 exclude 목록 증식을 피한다.
| Designator | 강한 조건 | 약한 조건 |
|---|---|---|
| within | type package | method detail |
| execution | full signature | runtime argument |
| @annotation | opt-in metadata | package scope |