polonius_engine

Trait FactTypes

Source 
pub trait FactTypes:
    Copy
    + Clone
    + Debug {
    type Origin: Atom;
    type Loan: Atom;
    type Point: Atom;
    type Variable: Atom;
    type Path: Atom;
}

Required Associated Types§

Source

type Origin: Atom

Source

type Loan: Atom

Source

type Point: Atom

Source

type Variable: Atom

Source

type Path: Atom

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§