Trait HirDatabase

pub trait HirDatabase:
    Database
    + HasQueryGroup<HirDatabaseStorage>
    + DefDatabase
    + Upcast<dyn DefDatabase> {
    // Required methods
    fn infer(&self, def: DefWithBodyId) -> Arc<InferenceResult>;
    fn mir_body(
        &self,
        def: DefWithBodyId,
    ) -> Result<Arc<MirBody>, MirLowerError>;
    fn mir_body_for_closure(
        &self,
        def: ClosureId<Interner>,
    ) -> Result<Arc<MirBody>, MirLowerError>;
    fn monomorphized_mir_body(
        &self,
        def: DefWithBodyId,
        subst: Substitution<Interner>,
        env: Arc<TraitEnvironment>,
    ) -> Result<Arc<MirBody>, MirLowerError>;
    fn monomorphized_mir_body_for_closure(
        &self,
        def: ClosureId<Interner>,
        subst: Substitution<Interner>,
        env: Arc<TraitEnvironment>,
    ) -> Result<Arc<MirBody>, MirLowerError>;
    fn borrowck(
        &self,
        def: DefWithBodyId,
    ) -> Result<Arc<[BorrowckResult]>, MirLowerError>;
    fn const_eval(
        &self,
        def: GeneralConstId,
        subst: Substitution<Interner>,
        trait_env: Option<Arc<TraitEnvironment>>,
    ) -> Result<Const<Interner>, ConstEvalError>;
    fn const_eval_static(
        &self,
        def: StaticId,
    ) -> Result<Const<Interner>, ConstEvalError>;
    fn const_eval_discriminant(
        &self,
        def: EnumVariantId,
    ) -> Result<i128, ConstEvalError>;
    fn lookup_impl_method(
        &self,
        env: Arc<TraitEnvironment>,
        func: FunctionId,
        fn_subst: Substitution<Interner>,
    ) -> (FunctionId, Substitution<Interner>);
    fn layout_of_adt(
        &self,
        def: AdtId,
        subst: Substitution<Interner>,
        env: Arc<TraitEnvironment>,
    ) -> Result<Arc<LayoutData<RustcFieldIdx, RustcEnumVariantIdx>>, LayoutError>;
    fn layout_of_ty(
        &self,
        ty: Ty<Interner>,
        env: Arc<TraitEnvironment>,
    ) -> Result<Arc<LayoutData<RustcFieldIdx, RustcEnumVariantIdx>>, LayoutError>;
    fn target_data_layout(
        &self,
        krate: Idx<CrateData>,
    ) -> Result<Arc<TargetDataLayout>, Arc<str>>;
    fn dyn_compatibility_of_trait(
        &self,
        trait_: TraitId,
    ) -> Option<DynCompatibilityViolation>;
    fn ty(&self, def: TyDefId) -> Binders<Ty<Interner>>;
    fn type_for_type_alias_with_diagnostics(
        &self,
        def: TypeAliasId,
    ) -> (Binders<Ty<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn value_ty(&self, def: ValueTyDefId) -> Option<Binders<Ty<Interner>>>;
    fn impl_self_ty_with_diagnostics(
        &self,
        def: ImplId,
    ) -> (Binders<Ty<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn impl_self_ty(&self, def: ImplId) -> Binders<Ty<Interner>>;
    fn const_param_ty_with_diagnostics(
        &self,
        def: ConstParamId,
    ) -> (Ty<Interner>, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn const_param_ty(&self, def: ConstParamId) -> Ty<Interner>;
    fn impl_trait_with_diagnostics(
        &self,
        def: ImplId,
    ) -> Option<(Binders<TraitRef<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>)>;
    fn impl_trait(&self, def: ImplId) -> Option<Binders<TraitRef<Interner>>>;
    fn field_types_with_diagnostics(
        &self,
        var: VariantId,
    ) -> (Arc<ArenaMap<Idx<FieldData>, Binders<Ty<Interner>>>>, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn field_types(
        &self,
        var: VariantId,
    ) -> Arc<ArenaMap<Idx<FieldData>, Binders<Ty<Interner>>>>;
    fn callable_item_signature(
        &self,
        def: CallableDefId,
    ) -> Binders<CallableSig>;
    fn return_type_impl_traits(
        &self,
        def: FunctionId,
    ) -> Option<Arc<Binders<ImplTraits>>>;
    fn type_alias_impl_traits(
        &self,
        def: TypeAliasId,
    ) -> Option<Arc<Binders<ImplTraits>>>;
    fn generic_predicates_for_param(
        &self,
        def: GenericDefId,
        param_id: TypeOrConstParamId,
        assoc_name: Option<Name>,
    ) -> GenericPredicates;
    fn generic_predicates(&self, def: GenericDefId) -> GenericPredicates;
    fn generic_predicates_without_parent_with_diagnostics(
        &self,
        def: GenericDefId,
    ) -> (GenericPredicates, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn generic_predicates_without_parent(
        &self,
        def: GenericDefId,
    ) -> GenericPredicates;
    fn trait_environment_for_body(
        &self,
        def: DefWithBodyId,
    ) -> Arc<TraitEnvironment>;
    fn trait_environment(&self, def: GenericDefId) -> Arc<TraitEnvironment>;
    fn generic_defaults_with_diagnostics(
        &self,
        def: GenericDefId,
    ) -> (GenericDefaults, Option<ThinArc<(), TyLoweringDiagnostic>>);
    fn generic_defaults(&self, def: GenericDefId) -> GenericDefaults;
    fn inherent_impls_in_crate(
        &self,
        krate: Idx<CrateData>,
    ) -> Arc<InherentImpls>;
    fn inherent_impls_in_block(
        &self,
        block: BlockId,
    ) -> Option<Arc<InherentImpls>>;
    fn incoherent_inherent_impl_crates(
        &self,
        krate: Idx<CrateData>,
        fp: TyFingerprint,
    ) -> SmallVec<[Idx<CrateData>; 2]>;
    fn trait_impls_in_crate(&self, krate: Idx<CrateData>) -> Arc<TraitImpls>;
    fn trait_impls_in_block(&self, block: BlockId) -> Option<Arc<TraitImpls>>;
    fn trait_impls_in_deps(
        &self,
        krate: Idx<CrateData>,
    ) -> Arc<[Arc<TraitImpls>]>;
    fn intern_callable_def(
        &self,
        callable_def: CallableDefId,
    ) -> InternedCallableDefId;
    fn lookup_intern_callable_def(
        &self,
        key: InternedCallableDefId,
    ) -> CallableDefId;
    fn intern_type_or_const_param_id(
        &self,
        param_id: TypeOrConstParamId,
    ) -> InternedTypeOrConstParamId;
    fn lookup_intern_type_or_const_param_id(
        &self,
        key: InternedTypeOrConstParamId,
    ) -> TypeOrConstParamId;
    fn intern_lifetime_param_id(
        &self,
        param_id: LifetimeParamId,
    ) -> InternedLifetimeParamId;
    fn lookup_intern_lifetime_param_id(
        &self,
        key: InternedLifetimeParamId,
    ) -> LifetimeParamId;
    fn intern_impl_trait_id(&self, id: ImplTraitId) -> InternedOpaqueTyId;
    fn lookup_intern_impl_trait_id(
        &self,
        key: InternedOpaqueTyId,
    ) -> ImplTraitId;
    fn intern_closure(&self, id: InternedClosure) -> InternedClosureId;
    fn lookup_intern_closure(&self, key: InternedClosureId) -> InternedClosure;
    fn intern_coroutine(&self, id: InternedCoroutine) -> InternedCoroutineId;
    fn lookup_intern_coroutine(
        &self,
        key: InternedCoroutineId,
    ) -> InternedCoroutine;
    fn associated_ty_data(
        &self,
        id: AssocTypeId<Interner>,
    ) -> Arc<AssociatedTyDatum<Interner>>;
    fn trait_datum(
        &self,
        krate: Idx<CrateData>,
        trait_id: TraitId<Interner>,
    ) -> Arc<TraitDatum<Interner>>;
    fn adt_datum(
        &self,
        krate: Idx<CrateData>,
        struct_id: AdtId<Interner>,
    ) -> Arc<AdtDatum<Interner>>;
    fn impl_datum(
        &self,
        krate: Idx<CrateData>,
        impl_id: ImplId<Interner>,
    ) -> Arc<ImplDatum<Interner>>;
    fn fn_def_datum(
        &self,
        fn_def_id: FnDefId<Interner>,
    ) -> Arc<FnDefDatum<Interner>>;
    fn fn_def_variance(
        &self,
        fn_def_id: FnDefId<Interner>,
    ) -> Variances<Interner>;
    fn adt_variance(&self, adt_id: AdtId<Interner>) -> Variances<Interner>;
    fn associated_ty_value(
        &self,
        krate: Idx<CrateData>,
        id: AssociatedTyValueId<Interner>,
    ) -> Arc<AssociatedTyValue<Interner>>;
    fn normalize_projection(
        &self,
        projection: ProjectionTy<Interner>,
        env: Arc<TraitEnvironment>,
    ) -> Ty<Interner>;
    fn trait_solve(
        &self,
        krate: Idx<CrateData>,
        block: Option<BlockId>,
        goal: Canonical<InEnvironment<Goal<Interner>>>,
    ) -> Option<Solution<Interner>>;
    fn program_clauses_for_chalk_env(
        &self,
        krate: Idx<CrateData>,
        block: Option<BlockId>,
        env: Environment<Interner>,
    ) -> ProgramClauses<Interner>;
}

Required Methods

fn infer(&self, def: DefWithBodyId) -> Arc<InferenceResult>

fn mir_body(&self, def: DefWithBodyId) -> Result<Arc<MirBody>, MirLowerError>

fn mir_body_for_closure( &self, def: ClosureId<Interner>, ) -> Result<Arc<MirBody>, MirLowerError>

fn monomorphized_mir_body( &self, def: DefWithBodyId, subst: Substitution<Interner>, env: Arc<TraitEnvironment>, ) -> Result<Arc<MirBody>, MirLowerError>

fn monomorphized_mir_body_for_closure( &self, def: ClosureId<Interner>, subst: Substitution<Interner>, env: Arc<TraitEnvironment>, ) -> Result<Arc<MirBody>, MirLowerError>

fn borrowck( &self, def: DefWithBodyId, ) -> Result<Arc<[BorrowckResult]>, MirLowerError>

fn const_eval( &self, def: GeneralConstId, subst: Substitution<Interner>, trait_env: Option<Arc<TraitEnvironment>>, ) -> Result<Const<Interner>, ConstEvalError>

fn const_eval_static( &self, def: StaticId, ) -> Result<Const<Interner>, ConstEvalError>

fn const_eval_discriminant( &self, def: EnumVariantId, ) -> Result<i128, ConstEvalError>

fn lookup_impl_method( &self, env: Arc<TraitEnvironment>, func: FunctionId, fn_subst: Substitution<Interner>, ) -> (FunctionId, Substitution<Interner>)

fn layout_of_adt( &self, def: AdtId, subst: Substitution<Interner>, env: Arc<TraitEnvironment>, ) -> Result<Arc<LayoutData<RustcFieldIdx, RustcEnumVariantIdx>>, LayoutError>

fn layout_of_ty( &self, ty: Ty<Interner>, env: Arc<TraitEnvironment>, ) -> Result<Arc<LayoutData<RustcFieldIdx, RustcEnumVariantIdx>>, LayoutError>

fn target_data_layout( &self, krate: Idx<CrateData>, ) -> Result<Arc<TargetDataLayout>, Arc<str>>

fn dyn_compatibility_of_trait( &self, trait_: TraitId, ) -> Option<DynCompatibilityViolation>

fn ty(&self, def: TyDefId) -> Binders<Ty<Interner>>

fn type_for_type_alias_with_diagnostics( &self, def: TypeAliasId, ) -> (Binders<Ty<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn value_ty(&self, def: ValueTyDefId) -> Option<Binders<Ty<Interner>>>

Returns the type of the value of the given constant, or None if the ValueTyDefId is a StructId or EnumVariantId with a record constructor.

fn impl_self_ty_with_diagnostics( &self, def: ImplId, ) -> (Binders<Ty<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn impl_self_ty(&self, def: ImplId) -> Binders<Ty<Interner>>

fn const_param_ty_with_diagnostics( &self, def: ConstParamId, ) -> (Ty<Interner>, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn const_param_ty(&self, def: ConstParamId) -> Ty<Interner>

fn impl_trait_with_diagnostics( &self, def: ImplId, ) -> Option<(Binders<TraitRef<Interner>>, Option<ThinArc<(), TyLoweringDiagnostic>>)>

fn impl_trait(&self, def: ImplId) -> Option<Binders<TraitRef<Interner>>>

fn field_types_with_diagnostics( &self, var: VariantId, ) -> (Arc<ArenaMap<Idx<FieldData>, Binders<Ty<Interner>>>>, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn field_types( &self, var: VariantId, ) -> Arc<ArenaMap<Idx<FieldData>, Binders<Ty<Interner>>>>

fn callable_item_signature(&self, def: CallableDefId) -> Binders<CallableSig>

fn return_type_impl_traits( &self, def: FunctionId, ) -> Option<Arc<Binders<ImplTraits>>>

fn type_alias_impl_traits( &self, def: TypeAliasId, ) -> Option<Arc<Binders<ImplTraits>>>

fn generic_predicates_for_param( &self, def: GenericDefId, param_id: TypeOrConstParamId, assoc_name: Option<Name>, ) -> GenericPredicates

fn generic_predicates(&self, def: GenericDefId) -> GenericPredicates

fn generic_predicates_without_parent_with_diagnostics( &self, def: GenericDefId, ) -> (GenericPredicates, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn generic_predicates_without_parent( &self, def: GenericDefId, ) -> GenericPredicates

fn trait_environment_for_body( &self, def: DefWithBodyId, ) -> Arc<TraitEnvironment>

fn trait_environment(&self, def: GenericDefId) -> Arc<TraitEnvironment>

fn generic_defaults_with_diagnostics( &self, def: GenericDefId, ) -> (GenericDefaults, Option<ThinArc<(), TyLoweringDiagnostic>>)

fn generic_defaults(&self, def: GenericDefId) -> GenericDefaults

fn inherent_impls_in_crate(&self, krate: Idx<CrateData>) -> Arc<InherentImpls>

fn inherent_impls_in_block(&self, block: BlockId) -> Option<Arc<InherentImpls>>

fn incoherent_inherent_impl_crates( &self, krate: Idx<CrateData>, fp: TyFingerprint, ) -> SmallVec<[Idx<CrateData>; 2]>

Collects all crates in the dependency graph that have impls for the given fingerprint. This is only used for primitive types and types annotated with rustc_has_incoherent_inherent_impls; for other types we just look at the crate where the type is defined.

fn trait_impls_in_crate(&self, krate: Idx<CrateData>) -> Arc<TraitImpls>

fn trait_impls_in_block(&self, block: BlockId) -> Option<Arc<TraitImpls>>

fn trait_impls_in_deps(&self, krate: Idx<CrateData>) -> Arc<[Arc<TraitImpls>]>

fn intern_callable_def( &self, callable_def: CallableDefId, ) -> InternedCallableDefId

fn lookup_intern_callable_def( &self, key: InternedCallableDefId, ) -> CallableDefId

fn intern_type_or_const_param_id( &self, param_id: TypeOrConstParamId, ) -> InternedTypeOrConstParamId

fn lookup_intern_type_or_const_param_id( &self, key: InternedTypeOrConstParamId, ) -> TypeOrConstParamId

fn intern_lifetime_param_id( &self, param_id: LifetimeParamId, ) -> InternedLifetimeParamId

fn lookup_intern_lifetime_param_id( &self, key: InternedLifetimeParamId, ) -> LifetimeParamId

fn intern_impl_trait_id(&self, id: ImplTraitId) -> InternedOpaqueTyId

fn lookup_intern_impl_trait_id(&self, key: InternedOpaqueTyId) -> ImplTraitId

fn intern_closure(&self, id: InternedClosure) -> InternedClosureId

fn lookup_intern_closure(&self, key: InternedClosureId) -> InternedClosure

fn intern_coroutine(&self, id: InternedCoroutine) -> InternedCoroutineId

fn lookup_intern_coroutine(&self, key: InternedCoroutineId) -> InternedCoroutine

fn associated_ty_data( &self, id: AssocTypeId<Interner>, ) -> Arc<AssociatedTyDatum<Interner>>

fn trait_datum( &self, krate: Idx<CrateData>, trait_id: TraitId<Interner>, ) -> Arc<TraitDatum<Interner>>

fn adt_datum( &self, krate: Idx<CrateData>, struct_id: AdtId<Interner>, ) -> Arc<AdtDatum<Interner>>

fn impl_datum( &self, krate: Idx<CrateData>, impl_id: ImplId<Interner>, ) -> Arc<ImplDatum<Interner>>

fn fn_def_datum( &self, fn_def_id: FnDefId<Interner>, ) -> Arc<FnDefDatum<Interner>>

fn fn_def_variance(&self, fn_def_id: FnDefId<Interner>) -> Variances<Interner>

fn adt_variance(&self, adt_id: AdtId<Interner>) -> Variances<Interner>

fn associated_ty_value( &self, krate: Idx<CrateData>, id: AssociatedTyValueId<Interner>, ) -> Arc<AssociatedTyValue<Interner>>

fn normalize_projection( &self, projection: ProjectionTy<Interner>, env: Arc<TraitEnvironment>, ) -> Ty<Interner>

fn trait_solve( &self, krate: Idx<CrateData>, block: Option<BlockId>, goal: Canonical<InEnvironment<Goal<Interner>>>, ) -> Option<Solution<Interner>>

fn program_clauses_for_chalk_env( &self, krate: Idx<CrateData>, block: Option<BlockId>, env: Environment<Interner>, ) -> ProgramClauses<Interner>

Trait Implementations

impl UnificationDatabase<Interner> for &dyn HirDatabase

fn fn_def_variance(&self, fn_def_id: FnDefId<Interner>) -> Variances<Interner>

Gets the variances for the substitution of a fn def

fn adt_variance(&self, adt_id: AdtId<Interner>) -> Variances<Interner>

Gets the variances for the substitution of a adt

Implementors

impl<DB> HirDatabase for DB

where DB: DefDatabase + Upcast<dyn DefDatabase> + Database + HasQueryGroup<HirDatabaseStorage>,