1.1 --- a/tests/attribute_access_type_restriction_conditional_choice_incompatible.py Fri Sep 10 00:27:49 2010 +0200
1.2 +++ b/tests/attribute_access_type_restriction_conditional_choice_incompatible.py Sat Sep 11 21:45:24 2010 +0200
1.3 @@ -12,12 +12,11 @@
1.4 return 3
1.5
1.6 def test_conditional(obj):
1.7 - # obj: C, D (f)
1.8 - if obj.f(): # C, D (f)
1.9 - return obj.g() # D (f, g)
1.10 + # obj: f, g; f
1.11 + if obj.f():
1.12 + return obj.g()
1.13 else:
1.14 - return obj.f() # C (f)
1.15 - # # (f, g) ^ (f)
1.16 + return obj.f()
1.17
1.18 c = C()
1.19 d = D()