tests/ui/inference/erase-type-params-in-label.rs

   1 fn main() {
   2     let foo = foo(1, ""); //~ ERROR E0283
   3 }
   4 fn baz() {
   5     let bar = bar(1, ""); //~ ERROR E0283
   6 }
   7
   8 struct Bar<T, K, N: Default> {
   9     t: T,
  10     k: K,
  11     n: N,
  12 }
  13
  14 fn bar<T, K, Z: Default>(t: T, k: K) -> Bar<T, K, Z> {
  15     Bar { t, k, n: Default::default() }
  16 }
  17
  18 struct Foo<T, K, N: Default, M: Default> {
  19     t: T,
  20     k: K,
  21     n: N,
  22     m: M,
  23 }
  24
  25 fn foo<T, K, W: Default, Z: Default>(t: T, k: K) -> Foo<T, K, W, Z> {
  26     Foo { t, k, n: Default::default(), m: Default::default() }
  27 }