Struct TyLoweringContext 

pub struct TyLoweringContext<'db, 'a> {

    pub db: &'db (dyn HirDatabase + 'static),
    pub(crate) interner: DbInterner<'db>,
    types: &'db DefaultAny<'db>,
    lang_items: &'db LangItems,
    resolver: &'a Resolver<'db>,
    store: &'db ExpressionStore,
    def: ExpressionStoreOwnerId,
    generic_def: GenericDefId,
    generics: &'a OnceCell<Generics<'db>>,
    in_binders: DebruijnIndex,
    impl_trait_mode: ImplTraitLoweringState,
    interning_mode: LoweringMode,
    pub(crate) unsized_types: HashSet<Ty<'db>, FxBuildHasher>,
    pub(crate) diagnostics: ThinVec<TyLoweringDiagnostic>,
    lifetime_elision: LifetimeElisionKind<'db>,
    forbid_params_after: Option<u32>,
    forbid_params_after_reason: ForbidParamsAfterReason,
    pub(crate) defined_anon_consts: ThinVec<AnonConstId<'db>>,
    infer_vars: Option<&'a mut dyn TyLoweringInferVarsCtx<'db>>,
    is_lowering_impl_trait_bounds: bool,
    bound_vars: Vec<(Vec<Name>, BoundVarKinds<'db>)>,
    lifetime_lowering_mode: LifetimeLoweringMode,
}

Fields

db: &'db (dyn HirDatabase + 'static)

interner: DbInterner<'db>

types: &'db DefaultAny<'db>

lang_items: &'db LangItems

resolver: &'a Resolver<'db>

store: &'db ExpressionStore

def: ExpressionStoreOwnerId

generic_def: GenericDefId

generics: &'a OnceCell<Generics<'db>>

in_binders: DebruijnIndex

impl_trait_mode: ImplTraitLoweringState

interning_mode: LoweringMode

unsized_types: HashSet<Ty<'db>, FxBuildHasher>

diagnostics: ThinVec<TyLoweringDiagnostic>

lifetime_elision: LifetimeElisionKind<'db>

forbid_params_after: Option<u32>

forbid_params_after_reason: ForbidParamsAfterReason

defined_anon_consts: ThinVec<AnonConstId<'db>>

infer_vars: Option<&'a mut dyn TyLoweringInferVarsCtx<'db>>

is_lowering_impl_trait_bounds: bool

bound_vars: Vec<(Vec<Name>, BoundVarKinds<'db>)>

lifetime_lowering_mode: LifetimeLoweringMode

Implementations

impl<'db, 'a> TyLoweringContext<'db, 'a>

pub fn new( db: &'db (dyn HirDatabase + 'static), resolver: &'a Resolver<'db>, store: &'db ExpressionStore, def: ExpressionStoreOwnerId, generic_def: GenericDefId, generics: &'a OnceCell<Generics<'db>>, lifetime_elision: LifetimeElisionKind<'db>, lifetime_lowering_mode: LifetimeLoweringMode, ) -> TyLoweringContext<'db, 'a>

pub fn with_interning_mode( self, interning_mode: LoweringMode, ) -> TyLoweringContext<'db, 'a>

pub fn with_infer_vars_behavior( self, behavior: Option<&'a mut dyn TyLoweringInferVarsCtx<'db>>, ) -> TyLoweringContext<'db, 'a>

impl<'db, 'a> TyLoweringContext<'db, 'a>

pub fn lower_ty(&mut self, type_ref: Idx<TypeRef>) -> Ty<'db>

pub fn lower_ty_ext( &mut self, type_ref_id: Idx<TypeRef>, ) -> (Ty<'db>, Option<TypeNs>)