I do see that processClassType immediately ignores the type arguments of the given type, so it's purely academic.