Confirm that has_focus is only ever true for at most one window

This is sort of a dumb question, and I’m pretty sure that it is the case, but asking for certainty.

I am using w.meta_window[has_focus]?.() on a collection of Meta.WindowActor. It seems reasonable to assume that only a maximum of one of these WindowActors will return true for this. But I want to confirm this.

Following the logic I find myself here which appears to support the sane supposition.

  /* TRUE if window == window->display->focus_window */
  guint has_focus : 1;

So, the question becomes, is the “if” here, “iff”?