According to the linked proposal, these implicit capability parameters are lexically bound, not dynamically bound.