The second example's second case won't compile (complains it expected a class after ~) but the third one through the template does. Anyone know what I'm doing wrong?

constructorless_works.cpp

#include <string>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <malloc/malloc.h>


class JollyRoger
{
public:
	int		mFoo;
};


using namespace std;


int main()
{
	void *p = malloc(sizeof(JollyRoger));
	
	JollyRoger *a = new(p) JollyRoger();
	
	a->~JollyRoger(); // Compiles just fine even though neither int nor JollyRoger have a constructor or destructor.
	
	return 0;
}

int_doesnt_work.cpp

#include <string>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <malloc/malloc.h>


using namespace std;

int main()
{
	void *p = malloc(sizeof(std::string));
	
	std::string *a = new(p) std::string();
	
	a->~string();


	void *q = malloc(sizeof(int));
	
	int *i = new (q) int();
	
	i->~int();	// *** ERROR HERE.

	return 0;
	
}

int_works_through_template.cpp

#include <string>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <malloc/malloc.h>


using namespace std;

template <class T>
void DeleteIt(T *x) { x->~T(); }

int main()
{
	void *q = malloc(sizeof(int));
	
	int *i = new (q) int();
	
	DeleteIt(i);	// *** No error anymore.

	return 0;
	
}

int_works_with_typedef.cpp

#include <string>
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <malloc/malloc.h>


typedef int INT;


using namespace std;

int main()
{
	void *q = malloc(sizeof(INT));
	
	INT *i = new (q) INT();
	
	i->~INT();
	
	return 0;
}