pub trait FactTypes:
Copy
+ Clone
+ Debug {
type Origin: Atom;
type Loan: Atom;
type Point: Atom;
type Variable: Atom;
type Path: Atom;
}
Required Associated Types§
type Origin: Atom
type Loan: Atom
type Point: Atom
type Variable: Atom
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.