Funny tree cutting fails compilation in 2022

Published --