LLVM assert with simple closures

[brson]

type Connection = fn@(~[u8]);
type ConnectionFactory = fn@() -> option<Connection>;

fn main() {
    let mock_connection: Connection = |data| { };

    let mock_connection_factory: ConnectionFactory = || {
        some(mock_connection)
    };
}

rustc: /home/brian/dev/rust/src/llvm/lib/VMCore/Instructions.cpp:280: void llvm::CallInst::init(llvm::Value*, llvm::ArrayRef<llvm::Value*>, const llvm::Twine&): Assertion `(i >= FTy->getNumParams() || FTy->getParamType(i) == Args[i]->getType()) && "Calling a function with a bad signature!"' failed.

[brson]

A simpler test case

type Connection = fn@(~[u8]);

fn f() -> option<Connection> {
    let mock_connection: Connection = fn@(data: ~[u8]) { };
    some(mock_connection)
}

fn main() {
}

[brson]

This works:

type Connection = fn@(+~[u8]);

fn f() -> option<Connection> {
    let mock_connection: Connection = fn@(+data: ~[u8]) { };
    some(mock_connection)
}

fn main() {
}

The argument mode for one of the function types ends up being infer and the other expl, so type_of creates two different LLVM nominal types for their option types.

[catamorphism]

This compiles successfully, possibly due to de-moding, with d2ad028:

use option::*;

type Connection = fn@(~[u8]);

fn f() -> Option<Connection> {
    let mock_connection: Connection = fn@(_data: ~[u8]) { };
    Some(mock_connection)
}

fn main() {
}