// PR c++/69481
// { dg-do compile { target c++11 } }

// ICE with canonical type verification

template <typename> struct Traits;

template <typename T>
struct Bob {
  using Loc = Traits<T>;
  using typename Loc::Thing;

  Thing Foo (); 
};

template <class V> struct tt
{
  using ut = tt<V>;
  ut Bob ();
};

template <class V>
tt<V> tt<V>::Bob ()
{
  return tt();
}