Trait UpcastFrom

pub trait UpcastFrom<I, T> {
    // Required method
    fn upcast_from(from: T, interner: I) -> Self;
}

A From-like trait that takes TyCtxt to perform interner-specific transformations.

Required Methods

fn upcast_from(from: T, interner: I) -> Self

Object Safety

This trait is not object safe.

Implementors

impl<I, T> UpcastFrom<I, T> for T

impl<I: Interner> UpcastFrom<I, TraitRef<I>> for TraitPredicate<I>