#include <iostream>

template<template<typename> class T>
void thisFails (T<bool> t) {
	std::cout << "CDT won't compile this" << std::endl;
}

#include "test.hpp"

template<template<typename> class T>
void thisWorks (T<bool> t) {
	std::cout << "This is fine" << std::endl;
}

template <class T>
class Dummy {
};

int main() {
	Dummy<bool> d;
	thisFails(d);
	thisWorks(d);
}