Trait Observer 

pub trait Observer {
    // Provided methods
    fn on_trace(&self, _msg: &str) { ... }
    fn on_before_method_resolution(
        &self,
        _ctx: &TypeCheckContext<'_>,
        _method_name: &TypeBinding<MethodName>,
        _args_types: &[TypeId],
    ) { ... }
    fn on_after_method_resolution(
        &self,
        _ctx: &TypeCheckContext<'_>,
        _method_name: &TypeBinding<MethodName>,
        _args_types: &[TypeId],
        _new_ref: DeclRefFunction,
        _new_type_id: TypeId,
    ) { ... }
    fn on_after_ir_type_resolution(
        &self,
        _engines: &Engines,
        _ctx: &Context<'_>,
        _type_info: &TypeInfo,
        _ir_type: &Type,
    ) { ... }
}

Provided Methods

fn on_trace(&self, _msg: &str)

fn on_before_method_resolution( &self, _ctx: &TypeCheckContext<'_>, _method_name: &TypeBinding<MethodName>, _args_types: &[TypeId], )

fn on_after_method_resolution( &self, _ctx: &TypeCheckContext<'_>, _method_name: &TypeBinding<MethodName>, _args_types: &[TypeId], _new_ref: DeclRefFunction, _new_type_id: TypeId, )

fn on_after_ir_type_resolution( &self, _engines: &Engines, _ctx: &Context<'_>, _type_info: &TypeInfo, _ir_type: &Type, )

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors