“parameter `’a` is never used” error when ‘a is used in type parameter bound

by

'a clearly is being used.

Not as far as the compiler is concerned. All it cares about is that all of your generic parameters are used somewhere in the body of the struct or enum. Constraints do not count.

What you might want is to use a higher-ranked lifetime bound:

enum TermValue<LT>
where
    for<'a> LT: 'a + ListTerm<'a> + Sized,
{
    Str(LT),
}

In other situations, you might want to use PhantomData to indicate that you want a type to act as though it uses the parameter:

use std::marker::PhantomData;

struct Thing<'a> {
    // Causes the type to function *as though* it has a `&'a ()` field,
    // despite not *actually* having one.
    _marker: PhantomData<&'a ()>,
}

And just to be clear: you can use PhantomData in an enum; put it in one of the variants:

enum TermValue<'a, LT>
where
    LT: 'a + ListTerm<'a> + Sized,
{
    Str(LT, PhantomData<&'a ()>),
}

More Related Contents:

  1. How do I create a global, mutable singleton?
  2. Cannot move out of value which is behind a shared reference when unwrapping
  3. Why does refactoring by extracting a method trigger a borrow checker error?
  4. What is this question mark operator about?
  5. Returning a reference from a HashMap or Vec causes a borrow to last beyond the scope it’s in?
  6. When does a closure implement Fn, FnMut and FnOnce?
  7. How to test for equality between trait objects?
  8. How do you access enum values in Rust?
  9. How do I borrow a reference to what is inside an Option?
  10. error [E0716]: temporary value dropped while borrowed (rust)
  11. Can I get a trait object of a multi-trait instance without using a generic type?
  12. How to create a String directly?
  13. What’s the Rust idiom to define a field pointing to a C opaque pointer?
  14. Trait implementation for both a trait object and for direct implementors of the trait
  15. How to format output to a byte array with no_std and no allocator?
  16. What is the right way to allocate data to pass to an FFI call?
  17. Efficiently insert or replace multiple elements in the middle or at the beginning of a Vec?
  18. Calling a generic async function with a (mutably) borrowed argument
  19. Read large files line by line in Rust [duplicate]
  20. Why is it discouraged to accept a reference &String, &Vec, or &Box as a function argument?
  21. What makes `impl Trait` as an argument “universal” and as a return value “existential”?
  22. Do all primitive types implement the Copy trait?
  23. How to represent shared mutable state?
  24. Mutable reference to container object within iterator loop
  25. How can I pull data out of an Option for independent use?
  26. Mutable self while reading from owner object
  27. Expected closure, found a different closure
  28. How can I iterate on an Option?
  29. How does the Rust compiler know `Cell` has internal mutability?
  30. Creating Diesel.rs queries with a dynamic number of .and()’s

Leave a Comment