Not if I'm understanding it correctly. The point where Julia IR specializes on types is between `@code_lowered` and `@code_typed`: lowering does not depend on t

Not if I'm understanding it correctly. The point where Julia IR specializes on types is between `@code_lowered` and `@code_typed`: lowering does not depend on type information but type inference + inlining does. What the author is proposing would seem to be more like generating LLVM code or even machine code with holes in it which get filled in with type-specific information at the very end. I think that would be quite hard to make work without generating terribly generic, slow code in the first place. Especially in a language with as expensive dynamic lookup as Julia (which we almost never end up doing due to aggressive monomorphization).