// Check that the exception type check works.

#include <exception.hfa>

TRIVIAL_EXCEPTION(truth);

int main(int argc, char * argv[]) {
	try {} catch (int e) {}
	try {} catch (truth & e) {}
	try {} catchResume (int e) {}
	try {} catchResume (truth & e) {}
}