Trait tract_hir::internal::ResolveTo

pub trait ResolveTo<Concrete> {
    type Param: ?Sized;

    // Required method
    fn resolve(&self, param: &Self::Param) -> Result<Concrete, Error>;
}

Required Associated Types

type Param: ?Sized

Required Methods

fn resolve(&self, param: &Self::Param) -> Result<Concrete, Error>

Implementors

impl ResolveTo<ConcretePoolGeometry> for SymbolicPoolGeometry

type Param = [usize]

impl ResolveTo<ConcreteMatrixGeometry> for SymbolicMatrixGeometry

type Param = SymbolValues