A step within JIT Compilation wherein segments of code that can have multiple types are compiled with each type as a stub. JIT tries every type combination as a tree, and chooses the stub that works well for ths case.