Runtime args matcher는 값 접근 필요성과 hot-path 비용을 함께 본다

static type과 annotation으로 후보를 먼저 좁히고 민감 값 mutation을 금지한다.