From 324988569183e38e9c5e42318571693a6fcd9569 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Mon, 16 Feb 2015 14:03:53 +0100
Subject: Simplified `List`, `Length` and `Reverse` implementations *
 continuation of 8e49cc6 * list constructor was generalized to a _variadic
 fold_

---
 test.cc | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index efe48f3..074d711 100644
--- a/test.cc
+++ b/test.cc
@@ -321,14 +321,6 @@ static_assert(
 	"(list 1 2) != '(1 . 2)"
 );
 
-static_assert(
-	std::is_same<
-		tav::Pair<tav::Int<1>, tav::Pair<tav::Int<2>, void>>,
-		tav::List<void, tav::Int<1>, void, tav::Int<2>, void>
-	>::value,
-	"(list void 1 void 2 void) != '(1 . 2)"
-);
-
 static_assert(
 	std::is_same<
 		tav::Int<1>,
-- 
cgit v1.2.3