Open
Description
In this example the destructor is marked [[clang::callable_when(consumed)]]
, and the constructor is marked with [[clang::return_typestate(unconsumed)]]
. Despite this there is no warning issued when the destructor is reached on an unconsumed instance of IplTag