I think it'd also be weird to typecheck that. It'd...

# announcements

[kasrasadeghi]

I think it'd also be weird to typecheck that. It'd have to infer the while (parent != null) or (curr != null) condition.