Say I have a method A that returns a boolean, and ...

# announcements

[Robert Maguire]

Say I have a method A that returns a boolean, and a second method B that returns a nullable object. Is there a way with contracts that I can have it so if method A returns true, method B is known to be not null?

[Ruckus]

As far as I'm aware, no. How would that work? The contract is part of the function, so it has no idea when other functions will be executed, let alone how to interpret their results.