push DefaultAttributes.castAndPut() to its interface