Is `widen` omitted here on purpose?