| 1 | template <class T> |
|---|---|
| 2 | struct iterator { |
| 3 | void Compare(const iterator &x) { return; } |
| 4 | friend void Check(iterator) { return; } |
| 5 | }; |
| 6 | |
| 7 | template <class T = int> struct Box { |
| 8 | iterator<T> I; |
| 9 | |
| 10 | void test() { |
| 11 | Check(I); |
| 12 | I.Compare(I); |
| 13 | } |
| 14 | }; |
| 15 | |
| 16 | // Force instantiation of Box<int> |
| 17 | Box<> B; |
| 18 |