This intention specifies all types explicitly in a destructuring declaration.