https://svn.lrde.epita.fr/svn/oln/trunk/static Index: ChangeLog from Roland Levillain &lt;roland(a)lrde.epita.fr&gt; Disable check_delegatee_inherited. * stc/scoop.hxx (helper_check): Disable `check_delegatee_inherited<curr>' since it triggers errors in valid cases. scoop.hxx | 7 +++++++ 1 file changed, 7 insertions(+) Index: stc/scoop.hxx --- stc/scoop.hxx (revision 1046) +++ stc/scoop.hxx (working copy) @@ -370,6 +370,8 @@ * check_delegatee_inherited */ + // FIXME: Improve location in error message (as in other check_* + // routines). template <typename curr> struct check_delegatee_inherited : mlc::assert_< stc::is_found< typename first_stm<curr, @@ -502,7 +504,12 @@ : check_no_final_inherited< mlc::pair_<curr, stc::not_delegated>, stc_super(curr), target > +// FIXME: Disabled. Seems to break the lookup, even in valid cases +// (use the examples image.cc and morpher.cc in the repository of the +// LCSD '07 draft to observe this behavior). +#if 0 , check_delegatee_inherited< curr > +#endif { typedef typename check<stc_super(curr), target>::ret ret; };