I am having trouble reconciling some behavior I have observed with attribute argument types with what is stated in the official documentation. In Marc Gravell\'s answer to t
