public void PositiveImplicitGenericInterfaceMethod()
        {
            var i = new ImplicitGenericInterfaceMethodImplementation(0);

            foreach (var x in i.Bar <string>())
            {
            }
        }
 public void NegativeImplicitGenericInterfaceMethod2()
 {
     try
     {
         var i = new ImplicitGenericInterfaceMethodImplementation(2);
         foreach (var x in i.Bar <string>())
         {
         }
         throw new Exception();
     }
     catch (TestRewriterMethods.PostconditionException e)
     {
         Assert.AreEqual(": Contract.Result<IEnumerable<T>>() != null", e.Message);
     }
 }
 public void NegativeImplicitGenericInterfaceMethod2()
 {
   try
   {
     var i = new ImplicitGenericInterfaceMethodImplementation(2);
     foreach (var x in i.Bar<string>())
     {
     }
     throw new Exception();
   }
   catch (TestRewriterMethods.PostconditionException e)
   {
     Assert.AreEqual(": Contract.Result<IEnumerable<T>>() != null", e.Message);
   }
 }
    public void PositiveImplicitGenericInterfaceMethod()
    {
      var i = new ImplicitGenericInterfaceMethodImplementation(0);
      foreach (var x in i.Bar<string>())
      {
      }

    }