Skip to content

warpui_core: fix StoredView missing child_view_ids (clippy CI failure)#12845

Draft
warp-dev-github-integration[bot] wants to merge 1 commit into
zb/tui-backend/03b-tui-elementsfrom
oz/fix-storedview-child-view-ids
Draft

warpui_core: fix StoredView missing child_view_ids (clippy CI failure)#12845
warp-dev-github-integration[bot] wants to merge 1 commit into
zb/tui-backend/03b-tui-elementsfrom
oz/fix-storedview-child-view-ids

Conversation

@warp-dev-github-integration

Copy link
Copy Markdown
Contributor

Description

Fixes the Formatting + Clippy CI failures on PR #12634 (zb/tui-backend/03b-tui-elements).

That PR replaced the per-window Box<dyn AnyView> storage with a StoredView enum (Gui / Tui behind the tui feature) whose inherent methods delegate the neutral AnyView hooks. The child_view_ids hook was missed, but AppContext::collect_transferable_subtree calls view.child_view_ids(self) on a &StoredView, producing a hard compile error:

error[E0599]: no method named `child_view_ids` found for reference `&core::window::StoredView`
   --> crates/warpui_core/src/core/app.rs:3306:39

This broke every cargo clippy job (Windows, wasm, etc.).

Fix

Add the missing inherent StoredView::child_view_ids delegating method:

  • Gui → delegates to the GUI view's child_view_ids(app).
  • Tui → returns an empty Vec (TUI views have no child views), matching the existing TUI no-op delegation arms.

Validation

  • cargo check -p warpui_core
  • cargo clippy -p warpui_core --features tui -- -D warnings
  • cargo fmt -p warpui_core -- --check

Base branch

This PR targets zb/tui-backend/03b-tui-elements so the fix lands in PR #12634.

Conversation: https://staging.warp.dev/conversation/3c47ff74-808e-41cc-9573-c2147686ad00
Run: https://oz.staging.warp.dev/runs/019ee255-931a-7e25-ba5e-5375fce95c3d

This PR was generated with Oz.

The StoredView enum delegates the neutral AnyView hooks to its Gui/Tui
variants, but child_view_ids was missing. collect_transferable_subtree
calls view.child_view_ids(self) on a &StoredView, which failed to
compile (E0599: no method named child_view_ids) and broke the
Formatting + Clippy CI jobs.

Add the inherent delegating method, returning the GUI view's children
and an empty vec for TUI views (which have no child views), matching the
existing delegation pattern.

Co-Authored-By: Oz <oz-agent@warp.dev>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant