From 504ff07fc03c0a6f3bbf0ebec7bc2466cce65c33 Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Sat, 25 Apr 2015 19:39:16 +0200
Subject: [PATCH] add coverage for the const correctness cases

actually the positive cases only. In another step,
I'll add all those combinations which won't compile.
---
 tests/library/meta/access-casted-test.cpp | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/tests/library/meta/access-casted-test.cpp b/tests/library/meta/access-casted-test.cpp
index 931c52706..22a5a98d2 100644
--- a/tests/library/meta/access-casted-test.cpp
+++ b/tests/library/meta/access-casted-test.cpp
@@ -148,6 +148,27 @@ namespace test {
           D* pNull(0);
           VERIFY_ERROR(BOTTOM_VALUE, AccessCasted<D>::access(pNull));
           
+          cout <<  "=== const correctness ==="<<endl;
+          cout <<  "Access(D  as D const&) --->" << AccessCasted<D const&>::access(d)  <<endl;
+          cout <<  "Access(D& as D const&) --->" << AccessCasted<D const&>::access(rD) <<endl;
+          cout <<  "Access(D  as const D)  --->" << AccessCasted<const D>::access(d) <<endl;
+          cout <<  "Access(D& as const D)  --->" << AccessCasted<const D>::access(rD) <<endl;
+          cout <<  "Access(D  as const D*) --->" << AccessCasted<const D*>::access(d)  <<endl;
+          cout <<  "Access(D& as const D*) --->" << AccessCasted<const D*>::access(rD) <<endl;
+          cout <<  "Access(D* as D const&) --->" << AccessCasted<D const&>::access(pD)  <<endl;
+          cout <<  "Access(D* as const D)  --->" << AccessCasted<const D>::access(pD)  <<endl;
+          const D cD(d);
+          D const& rcD(d);
+          const D* pcD(&cD);
+          cout <<  "Access(const D  as D const&) --->" << AccessCasted<D const&>::access(cD)  <<endl;
+          cout <<  "Access(D const& as D const&) --->" << AccessCasted<D const&>::access(rcD) <<endl;
+          cout <<  "Access(const D  as const D)  --->" << AccessCasted<const D>::access(cD) <<endl;
+          cout <<  "Access(D const& as const D)  --->" << AccessCasted<const D>::access(rcD) <<endl;
+          cout <<  "Access(const D  as const D*) --->" << AccessCasted<const D*>::access(cD)  <<endl;
+          cout <<  "Access(D const& as const D*) --->" << AccessCasted<const D*>::access(rcD) <<endl;
+          cout <<  "Access(const D* as D const&) --->" << AccessCasted<D const&>::access(pcD)  <<endl;
+          cout <<  "Access(const D* as const D)  --->" << AccessCasted<const D>::access(pcD)  <<endl;
+          
           cout <<  "=== work cases: actual conversions ==="<<endl;
 //        cout <<  "Access(B& as D&)    --->" << AccessCasted<D&>::access(rB) <<endl;
 //        cout <<  "Access(D* as D*)    --->" << AccessCasted<D*>::access(pD) <<endl;