charon_lib::pretty::formatter

Trait SetGenerics

Source
pub trait SetGenerics<'a> {
    type C: 'a + AstFormatter;

    // Required method
    fn set_generics(&'a self, generics: &'a GenericParams) -> Self::C;
}
Expand description

We use this trait with the formatter to update the context, for instance when we enter a declaration that we need to print.

Required Associated Types§

Required Methods§

Source

fn set_generics(&'a self, generics: &'a GenericParams) -> Self::C

Implementors§

Source§

impl<'a, 'b> SetGenerics<'a> for FmtCtx<'b>

Source§

type C = FmtCtx<'a>