Eric: > Yes, the template constraint is much better. However, the > compiler still crashes, even with the new code: Because there's a type definition loop, regardless. Using a constraint doesn't change that situation. Bye, bearophile