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>