More careful ClassTag instantiation (scala#23659)

We now use a blend of the new scheme and a backwards compatible special
case if type variables as ClassTag arguments are constrained by further
type variables.

Fixes scala#23611
[Cherry-picked cfaa5d3][modified]

Author: tgodzik