# This sample tests various logical expressions.classFoo:defdo_something1(self):passdefdo_something2(self):passclassBar:defdo_something1(self):passa=0foo=Foo()bar=Bar()b=aandfooorbar# This should not be flagged as an error because# the type of b should be type Foo.b.do_something1()# This should be flagged as an error because# Bar doesn't define a do_something2 method.b.do_something2()