Trait tract_hir::infer::rules::ComparableProxy[−][src]

pub trait ComparableProxy: Proxy {
    type Output: Output;
}

Expand description

A proxy which can be used in a solver rule.

Associated Types

type Output: Output

Implementors

impl ComparableProxy for DimProxy

type Output = DimFact

impl ComparableProxy for ElementProxy

type Output = IntFactoid

impl ComparableProxy for IntProxy

type Output = IntFactoid

impl ComparableProxy for ShapeProxy

type Output = ShapeFactoid

impl ComparableProxy for TypeProxy

type Output = TypeFactoid

impl ComparableProxy for ValueProxy

type Output = ValueFact

impl<'a> ComparableProxy for &'a DimProxy

type Output = DimFact

impl<'a> ComparableProxy for &'a ElementProxy

type Output = IntFactoid

impl<'a> ComparableProxy for &'a IntProxy

type Output = IntFactoid

impl<'a> ComparableProxy for &'a ShapeProxy

type Output = ShapeFactoid

impl<'a> ComparableProxy for &'a TypeProxy

type Output = TypeFactoid

impl<'a> ComparableProxy for &'a ValueProxy

type Output = ValueFact