Added the correct check for unbounded type parameters.