Proposed resolution:

This wording is relative to N5014.

1. Modify [utility.arg.requirements], Table 35 [tab:cpp17.destructible] as indicated:

   Table 35 — Cpp17Destructible requirements [tab:cpp17.destructible]

   Expression	Post-condition
   u.~T()	All resources owned by `u` are reclaimed, nNo exception is propagated.
   [Note 3: Array types and non-object types are not Cpp17Destructible. — end note]

[ Kona 2025-11-08; Status changed: Voting → WP. ]

[ 2025-10-14; Reflector poll ]

Set status to Tentatively Ready after six votes in favour during reflector poll.

The meaning of "resource" in the Cpp17Destructible requirements cannot be inferred from the standard wording and it seems unlikely that the standard will determine its meaning in the future. What are considered as resources generally depends on users' intent, so the standard shouldn't determine the well-definedness of a program execution due to it. Moreover, the wording doesn't seem to consider shared ownership, which can be represented by `shared_ptr`.