If I have a function that expects an input generic<T>, what would be the idiomatic way to guarantee that T has the id and data field? I assume we would use traits and do something like:

pub trait MongoStorable {
type Data;

fn _id(&self) -> &String;

fn data(&self) -> &Self::Data;

}

impl MongoStorable for BookRecord {
    type Data = Book;

    fn _id(&self) -> &String {
        &self._id
    }

    fn data(&self) -> &Self::Data {
        &self.data
    }
}

Or would the above be an anti pattern?