window_filter_func: add requires

lenemter · web-flow · commit 041114b7bed8 · 2025-10-14T03:16:16.000+09:00
diff --git a/src/Widgets/WindowOverview.vala b/src/Widgets/WindowOverview.vala
@@ -166,7 +166,7 @@ public class Gala.WindowOverview : ActorTarget, RootTarget, ActivatableComponent
         return true;
     }
 
-    private bool window_filter_func (Object obj) {
+    private bool window_filter_func (Object obj) requires (obj is Meta.Window) {
         var window = (Meta.Window) obj;
         return window_ids == null || (window.get_id () in window_ids);
     }

Original file line number	Diff line number	Diff line change
`@@ -166,7 +166,7 @@ public class Gala.WindowOverview : ActorTarget, RootTarget, ActivatableComponent`
`166`	`166`	`return true;`
`167`	`167`	`}`
`168`	`168`
`169`		`- private bool window_filter_func (Object obj) {`
	`169`	`+ private bool window_filter_func (Object obj) requires (obj is Meta.Window) {`
`170`	`170`	`var window = (Meta.Window) obj;`
`171`	`171`	`return window_ids == null \|\| (window.get_id () in window_ids);`
`172`	`172`	`}`