Struct InfixReparsed

pub struct InfixReparsed<E> {
    pub expr: E,
    pub metadata_map: FnvMap<Symbol, Arc<Metadata>>,
    pub metadata: Arc<Metadata>,
}

Fields

expr: E

metadata_map: FnvMap<Symbol, Arc<Metadata>>

metadata: Arc<Metadata>

Trait Implementations

impl<E: Debug> Debug for InfixReparsed<E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E> Typecheckable for InfixReparsed<E>

where E: BorrowMut<OwnedExpr<Symbol>> + Send,

type Expr = E

fn typecheck_expected<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'life6, 'async_trait>( self, compiler: &'life0 mut ModuleCompiler<'life1, 'life2>, thread: &'life3 Thread, file: &'life4 str, _expr_str: &'life5 str, expected_type: Option<&'life6 ArcType>, ) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait, 'life5: 'async_trait, 'life6: 'async_trait,

fn typecheck<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>( self, compiler: &'life0 mut ModuleCompiler<'life1, 'life2>, thread: &'life3 Thread, file: &'life4 str, expr_str: &'life5 str, ) -> Pin<Box<dyn Future<Output = SalvageResult<TypecheckValue<Self::Expr>>> + Send + 'async_trait>>

where Self: Send + 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait, 'life5: 'async_trait,