CDITCK-301 Resolvable type variables are allowed