bug fix: code before fix did not really check that type arguments to a generic method call satisfy their upperbounds.