Type Definition CheckedOf
Other items inframe_executive
type CheckedOf<E, C> = <E as Checkable<C>>::Checked;