synchronize spec and typechecker treatment of upper bounds that involve
type parameters in type arg inference