Function future_check_function

pub fn future_check_function(
    function: &Function,
    type_table: &TypeTable,
    handler: &Handler,
)

Error if futures are used improperly.

This prevents, for instance, a bare call which creates an unused future.