Update tests to expect forward ref resolution to succeed

With the new forward reference resolution feature (#4542), forward
references like Optional["ConcreteFoo"] now resolve successfully when
ConcreteFoo is in scope. Updated tests accordingly:

- Split test_cannot_resolve_bare_forward_reference into two tests:
  - test_can_resolve_forward_reference_to_class for Optional/list/List
  - test_cannot_resolve_type_forward_reference for type/Type
- Changed test_string_forward_ref_message to test_string_forward_ref_resolved
  since User with list["User"] now works on all Python versions

Author: claude

hypothesis-python/tests/cover/test_lookup.py

@@ -609,10 +609,19 @@ def test_override_args_for_namedtuple(thing):
     assert thing.a is None
 
 
-@pytest.mark.parametrize("thing", [typing.Optional, list, type, _List, _Type])
-def test_cannot_resolve_bare_forward_reference(thing):
+@pytest.mark.parametrize("thing", [typing.Optional, list, _List])
+def test_can_resolve_forward_reference_to_class(thing):
+    # Forward references to classes in scope should now be resolved
+    # See https://github.com/HypothesisWorks/hypothesis/issues/4542
     t = thing["ConcreteFoo"]
-    with pytest.raises(InvalidArgument):
+    check_can_generate_examples(st.from_type(t))
+
+
+@pytest.mark.parametrize("thing", [type, _Type])
+def test_cannot_resolve_type_forward_reference(thing):
+    # Type[ForwardRef] still fails because it needs special handling
+    t = thing["ConcreteFoo"]
+    with pytest.raises(ResolutionFailed):
         check_can_generate_examples(st.from_type(t))
 
 

hypothesis-python/tests/cover/test_lookup_py39.py

@@ -10,13 +10,11 @@
 
 import collections.abc
 import dataclasses
-import sys
 import typing
 
 import pytest
 
 from hypothesis import given, strategies as st
-from hypothesis.errors import InvalidArgument
 
 from tests.common.debug import (
     assert_all_examples,
@@ -87,12 +85,11 @@ class User:
     following: list["User"]  # works with typing.List
 
 
-@pytest.mark.skipif(sys.version_info[:2] >= (3, 11), reason="works in new Pythons")
-def test_string_forward_ref_message():
-    # See https://github.com/HypothesisWorks/hypothesis/issues/3016
+def test_string_forward_ref_resolved():
+    # Forward references to types in scope now work
+    # See https://github.com/HypothesisWorks/hypothesis/issues/4542
     s = st.builds(User)
-    with pytest.raises(InvalidArgument, match="`from __future__ import annotations`"):
-        check_can_generate_examples(s)
+    check_can_generate_examples(s)
 
 
 @pytest.mark.parametrize("typ", (typing.Union[list[int], int], list[int] | int))