Function require_term_is_lent 

pub(crate) async fn require_term_is_lent<'db>(
    env: &mut Env<'db>,
    term: SymGenericTerm<'db>,
    or_else: &dyn OrElse<'db>,
) -> Errors<()>