From 249fab960e801f1fc9a860dec91d07922cc1256c Mon Sep 17 00:00:00 2001
From: John Maddock <john@johnmaddock.co.uk>
Date: Thu, 10 Jan 2002 12:45:29 +0000
Subject: [PATCH] Added some missing caveats

[SVN r12267]
---
 index.htm | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/index.htm b/index.htm
index 5a9f869..4223394 100644
--- a/index.htm
+++ b/index.htm
@@ -529,7 +529,8 @@ relationship between two types:</p>
         </td>
         <td valign="top" width="25%" bgcolor="#C0C0C0">Note that
         this template is currently broken with Borland's
-        compiler, for constructor-based conversions.</td>
+        compiler, for constructor-based conversions, and for the
+        Metrowerks compiler in all cases.</td>
         <td valign="top" width="5%">&nbsp;</td>
     </tr>
     <tr>
@@ -543,7 +544,16 @@ relationship between two types:</p>
     </tr>
 </table>
 
-<p>&nbsp;</p>
+<p>Note that both <code>is_convertible</code>, and <code>is_base_and_derived</code> can
+produce compiler errors if the convertion is ambiguous:</p>
+
+<pre>struct A {};
+struct B : A {};
+struct C : A {};
+struct D : B, C {};
+bool const x = boost::is_base_and_derived&lt;A,D&gt;::value;  // error
+bool const y = boost::is_convertible&lt;D*,A*&gt;::value;     // error
+</pre>
 
 <h2><a name="transformations"></a>Transformations Between Types</h2>
 
@@ -1324,3 +1334,4 @@ discussion list at <a
 href="http://www.yahoogroups.com/list/boost">www.yahoogroups.com/list/boost</a>.</p>
 </body>
 </html>
+