Function set_variable_ty_from_input 

async fn set_variable_ty_from_input<'db>(
    env: &mut Env<'db>,
    input: &AstFunctionInput<'db>,
)