start :: fn {

    f : fn -> int = fn {}
    f
}

// errors: [ErrorKind::TypeMismatch(_, _)]