defmt 1.1.1

A highly efficient logging framework that targets resource-constrained devices, like microcontrollers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

struct Flavor;

trait FlavorT {
    type List<'a, T: 'a + ::defmt::Format>: ::defmt::Format; 
}

impl FlavorT for Flavor {
    type List<'a, T: 'a + ::defmt::Format> = &'a [T];
}

#[derive(defmt::Format)]
// #[defmt(bound())] // fixes the compile error
enum Flavored<F: FlavorT + 'static> {
    Str(F::List<'static, Self>),
}

const _: () = {
    const fn implements_format<T: defmt::Format>() {}

    implements_format::<Flavored<Flavor>>(); // overflow by the compiler, can only be fixed by removing the bound
};

fn main() {}