more things

This commit is contained in:
nora 2022-04-23 23:50:22 +02:00
parent 483ba1105c
commit e6f2f45fb9

View file

@ -10,7 +10,8 @@ impl<'a, D: CoolTrait> CoolTrait for &'a D {}
pub enum Parent<'a> {
A(Box<A<'a>>),
B(Box<B<'a>>),
// We need a lifetime or else everything is fine
// We need a lifetime. otherwise, if we remove it, we get:
// error[E0275]: overflow evaluating the requirement `A: CoolTrait`
Boo(PhantomData<&'a ()>)
}