codeql/cpp/ql/test/library-tests/syntax-zoo/vacuous_dtor_call.cpp

struct HasDestructor {
    ~HasDestructor();
};

template<typename T>
void callDestructor(T *x) {
    x->~T();
}

template void callDestructor<int>(int *x);
template void callDestructor<HasDestructor>(HasDestructor *x);