This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Perhaps we can relax the rules for TDU a little bit. After all, when an argument is of type xs:boolean, all we need to know is whether the value is true or false, so either it is, or it isn't in the case of nodes. Hence for xs:boolean the TDU can be inspection.
We discussed this in Prague and concluded that the proposed action is too optimistic. When a function requires a parameter of type boolean and a node is passed as an argument, the node is atomized; the optimization proposed here would work if its effective Boolean value was taken.