fn invalidate_recursively<E>(element: E) -> boolwhere
    E: TElement,