title: Why I don't get any error here in my interface implementation?
body: <p>** Take a look at Edits sections**</p>
  
  <p>I have an interface</p>
  
  <pre><code>IInterface&lt;TYPE_ONE, TYPE_TWO&gt; where TYPE_TWO : string
  {
      void foo();
  }
  </code></pre>
  
  <p>then I have a <code>BaseClass</code></p>
  
  <pre><code>class BaseClass&lt;TYPE_ONE, TYPE_TWO&gt; where TYPE_TWO: string
  </code></pre>
  
  <p>and now I would like to implement in <code>BaseClass</code>, <code>IInterfase</code></p>
  
  <pre><code>class BaseClass&lt;TYPE_ONE, TYPE_TWO&gt; where TYPE_TWO: string, IInterface&lt;TYPE_ONE, TYPE_TWO&gt;{}
  </code></pre>
  
  <p>problem is - I expect that VisualStudio tell me that </p>
  
  <blockquote>
    <p>You have to implement IInterface methods foo()</p>
  </blockquote>
  
  <p>But I don't get any such notification... And also I am able to compile the project... It is seems to me strange, because I have a class that implements theinterface, but not it's methods.</p>
  
  <p>What am I doing wrong here?</p>
  
  <p><strong>EDIT</strong></p>
  
  <p>My actual code</p>
  
  <pre><code>    interface ILooperable&lt;in TASK_TYPE, in CALLBACK_TYPE&gt; where CALLBACK_TYPE : ILooperableCallback&lt;TASK_TYPE&gt;  
      {
          void Start();
          void Put(TASK_TYPE task);
          void DeleteTask(TASK_TYPE task);
          void SetCallback(CALLBACK_TYPE callback);
          void Quit();
      }
  </code></pre>
  
  <pre><code>    interface ILooperableCallback&lt;in TASK_TYPE&gt;
      {
          void Finish(TASK_TYPE task);
      }
  </code></pre>
  
  <pre><code>    class BaseLooper&lt;TASK_TYPE, CALLBACK_TYPE&gt; where CALLBACK_TYPE : ILooperableCallback&lt;TASK_TYPE&gt;,
          ILooperable&lt;TASK_TYPE, CALLBACK_TYPE&gt;
      {
          //Here I am expect to get lack of interface implementation warning
      }
  </code></pre>
  
  <p><strong>EDIT</strong></p>
  
  <p>I will ask in other words how can I tell the <code>BaseLooper</code> that I want that it's second paramert implements ILooperableCallback and also class themselves implements interface?</p>
  
  <p>In this line <code>lass BaseLooper&lt;TASK_TYPE, CALLBACK_TYPE&gt; where CALLBACK_TYPE : ILooperableCallback&lt;TASK_TYPE&gt;</code> I tell that I want that it's second paramert implements ILooperableCallback, right?</p>
  
  <p>and it this line <code>.... ,ILooperable&lt;TASK_TYPE, CALLBACK_TYPE&gt;</code> I tell class themselves implements interface ILooperable, right?</p>