// Verify that @deprecated can handle the embedded
// {@link...} statements correctly (Issue 0123).
namespace test58
{
   class A
   {
   public:
      /**
       * Do stuff.
       */
      void do_stuff();
   };
   class Test
   {
   public:
      /**
       * Do stuff.
       * @deprecated See {@link test58::A::do_stuff}.
       * @returns Nothing, just like {@link test58::A::do_stuff}.
       */
      void fct();
   };
}