1 2 3 4 5 6 7
pub trait ThermoModel { type Fluid; } impl<T: ThermoModel> ThermoModel for &T { type Fluid = T::Fluid; }