Add `Hole` to ill-typed return expression