Fix dotty deviation failure in TailRec