¿Por qué se necesita el indicador de vinculador -ObjC para vincular categorías en bibliotecas estáticas? (LLVM)

Con respecto a estas preguntas y respuestas técnicas de Apple: http://developer.apple.com/library/mac/#qa/qa1490/_index.html

Creo que el compilador podría marcar las llamadas a los métodos definidos en categorías en tiempo de compilación (sabe que se definieron en una categoría y no en la clase principal porque el prototipo estaba en una@interface Class (Category) sección) - para que pueda construir una tabla en los archivos de objeto de "métodos de categoría externa". Luego, el vinculador, después de hacer su vinculación normal, debería poder concatenar / fusionar y procesar las tablas de "métodos de categoría externa" de todos los objetos y buscar símbolos coincidentes en categorías de clase coincidentes de todos los marcos / bibliotecas / objetos vinculados, luego puede tirar de los que no estaban "dentro" del objetivo.

Debe haber algo que me falta, pero ¿qué es? ¿Por qué esto no es posible?