Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)

Adding Rust FFI into Vale, in particular the part where the Vale compiler determines the signature and proper overload of a Rust function.

Our ultimate goal is to write this Vale code:

import rust.std.vec.Vec;

exported func main() {
  vec = Vec<int>.with_capacity(42);
  println("Length: " + vec.capacity());
}

Length: 42

...which would successfully make a Rust Vec and call capacity on it.

Previous