Noratrieb/dilaria
1
0
Fork 0
mirror of https://github.com/Noratrieb/dilaria.git synced 2026-01-14 17:35:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

yeah

Browse source
This commit is contained in:
nora 2022-04-24 00:05:35 +02:00
parent e6f2f45fb9
commit 22461a4474
1 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/lib.rs
View file

@ -6,22 +6,20 @@ pub trait CoolTrait {}
// implement that trait for all reference to someone implementing the trait // implement that trait for all reference to someone implementing the trait
impl<'a, D: CoolTrait> CoolTrait for &'a D {} impl<'a, D: CoolTrait> CoolTrait for &'a D {}
// a type with a lifetime that contains two other types // a type with a lifetime
pub enum Parent<'a> { pub struct Parent<'a> {
A(Box<A<'a>>),
B(Box<B<'a>>),
// We need a lifetime. otherwise, if we remove it, we get: // We need a lifetime. otherwise, if we remove it, we get:
// error[E0275]: overflow evaluating the requirement `A: CoolTrait` // error[E0275]: overflow evaluating the requirement `A: CoolTrait`
Boo(PhantomData<&'a ()>) _boo: PhantomData<&'a ()>,
} }
// those two types that in turn contain the parent type recursively // two more types with a lifetime
pub struct A<'a> { pub struct A<'a> {
parent: Parent<'a>, _boo: PhantomData<&'a ()>,
} }
pub struct B<'a> { pub struct B<'a> {
parent: Parent<'a>, _boo: PhantomData<&'a ()>,
} }
// implement CoolTrait only when the two types themselves implement it // implement CoolTrait only when the two types themselves implement it