Annotated tests in test_widget2_rect