Function output_ty 

async fn output_ty<'db>(
    env: &mut Env<'db>,
    function: &SymFunction<'db>,
) -> SymTy<'db>