Re: Question about the interaction of Concepts, Generic types, and typedesc

[Varriount]

This looks mainly like an edge case that hasn't been covered. You should 
probably file an issue for it.