title: Unable to infer enough type information about _; type annotations or generic parameter binding required
body: <pre><code>trait Bar {
      fn bar(&amp;self);
  }
  enum Foo&lt;T: Bar&gt; {
      F1,
      F2(T)
  }
  struct Something;
  impl Bar for Something {
      fn bar(&amp;self) {
      }
  }
  fn main() {
      let a = Foo::F2(Something); //&lt;== this works fine.
      let b = Foo::F1; //&lt;== gives a compilation error.
  }
  </code></pre>
  
  <p>Compilation error E0282: Unable to infer enough type information about <code>_</code>; type annotations or generic parameter binding required.</p>
  
  <p>I understand why the compiler is complaining but can't seem to figure out how to do this without having to assign a type to T in the F1 case.</p>