"get_element_ptr 4 on dynamic-size cell" assertion in trans when binding type-params

f035473
Opened by Patrick Walton at 2010-10-28 00:06:14

Failing test case:

fn f[T](T x) {
  auto g = bind f[T](_);
}

Hit this when hacking on fold.rs.

  1. froystig points out that this is actually a bug in type: we need to forbid f(T x) per 1.

    Patrick Walton at 2010-10-28 00:06:14