Trait hax_diagnostics::SessionExtTrait

source · 
pub trait SessionExtTrait {
    // Required method
    fn span_hax_err<S: Into<MultiSpan> + Clone>(&self, diag: Diagnostics<S>);
}

Required Methods§

source

fn span_hax_err<S: Into<MultiSpan> + Clone>(&self, diag: Diagnostics<S>)

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl SessionExtTrait for Session

source§

fn span_hax_err<S: Into<MultiSpan> + Clone>(&self, diag: Diagnostics<S>)

Implementors§