ContractAnnotation validate property of input variable

Is it possible to validate properties on input attributes?

For example on

public interface IPeriod
{
     DateTime Start {get;set;}
     DateTime? End {get;set;}
}

we have an extension method

public bool IsClosed(this IPeriod period)
{
     return period.HasValue && period.Value != DateTime.MaxValue;
}

is if possible to decorate this method with a ContractAnnotation somwhat like

[ContactAnnotation("=> true,period.End:notnull")]

So Resharper knows that I can use

period.IsClosed() ? Something(....period.End.Value.....) : SomethingElse;

Without resharper giving me a warning.