Module consts 

Re-exports

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_middle::query::Providers; 🔒

use rustc_middle::thir::visit; 🔒

use rustc_middle::thir::visit::Visitor; 🔒

use rustc_middle::ty::abstract_const::CastKind; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Expr; 🔒

use rustc_middle::ty::LitToConstInput; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::thir; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::diagnostics::GenericConstantTooComplex; 🔒

use crate::diagnostics::GenericConstantTooComplexSub; 🔒

Structs

IsThirPolymorphic 🔒

Functions

check_binop 🔒

We do not allow all binary operations in abstract consts, so filter disallowed ones.

check_unop 🔒

While we currently allow all unary operations, we still want to explicitly guard against future changes here.

error 🔒

maybe_supported_error 🔒

provide 🔒

recurse_build 🔒

thir_abstract_const 🔒

Builds an abstract const, do not use this directly, but use AbstractConst::new instead.