Reduction: T compilation may fail