Trait formality_core::Upcast

pub trait Upcast<T>: Clone {
    // Required method
    fn upcast(self) -> T;
}

Our version of Into. This is the trait you use in where clauses, but you typically implement UpcastFrom.

Required Methods

fn upcast(self) -> T

Object Safety

This trait is not object safe.

Implementors

impl<T, U> Upcast<U> for T

where T: Clone, U: UpcastFrom<T>,