Struct ExprCollector

pub struct ExprCollector<'db> {
    pub store: ExpressionStoreBuilder,
    /* private fields */
}

Fields

store: ExpressionStoreBuilder

Implementations

impl ExprCollector<'_>

pub fn new( db: &dyn DefDatabase, module: ModuleId, current_file_id: HirFileId, ) -> ExprCollector<'_>

pub fn lower_lifetime_ref(&mut self, lifetime: Lifetime) -> LifetimeRefId

pub fn lower_lifetime_ref_opt( &mut self, lifetime: Option<Lifetime>, ) -> LifetimeRefId

pub fn lower_type_ref( &mut self, node: Type, impl_trait_lower_fn: &'_ mut dyn for<'ec, 'db> FnMut(&'ec mut ExprCollector<'db>, TypePtr, ThinVec<TypeBound>) -> TypeRefId, ) -> TypeRefId

Converts an ast::TypeRef to a hir::TypeRef.

pub fn lower_path( &mut self, ast: Path, impl_trait_lower_fn: &'_ mut dyn for<'ec, 'db> FnMut(&'ec mut ExprCollector<'db>, TypePtr, ThinVec<TypeBound>) -> TypeRefId, ) -> Option<Path>

pub fn impl_trait_error_allocator( ec: &mut ExprCollector<'_>, ptr: TypePtr, _: ThinVec<TypeBound>, ) -> TypeRefId

pub fn lower_generic_args_from_fn_path( &mut self, args: Option<ParenthesizedArgList>, ret_type: Option<RetType>, impl_trait_lower_fn: &'_ mut dyn for<'ec, 'db> FnMut(&'ec mut ExprCollector<'db>, TypePtr, ThinVec<TypeBound>) -> TypeRefId, ) -> Option<GenericArgs>

Collect GenericArgs from the parts of a fn-like path, i.e. Fn(X, Y) -> Z (which desugars to Fn<(X, Y), Output=Z>).