3 // Submitted by Erez Louidor Lior <s3824888@techst02.technion.ac.il>
5 template <typename> class H;
6 template <typename Target, typename Source>
7 H<Target> foo(const H<Source>&);
9 template <typename Type>
15 template<template<class, class> class Caster, typename Source>
16 static H<Type> cast(const H<Source>& s);
19 template <typename Target, typename Source>
20 friend H<Target> foo(const H<Source>&);
25 template <class, class> class caster;
27 template <typename Target, typename Source>
28 H<Target> foo(const H<Source>& s){
29 return H<Target>::template cast<caster, Source>(s);