List of all items

Structs

• check::debug::Event
• check::debug::EventIndex
• check::debug::InferenceVariable
• check::debug::Log
• check::debug::LogHandle
• check::debug::RootTaskDescription
• check::debug::Task
• check::debug::TaskIndex
• check::debug::export::CompilerLocation
• check::debug::export::Event
• check::debug::export::Infer
• check::debug::export::InferId
• check::debug::export::Log
• check::debug::export::NestedEvent
• check::debug::export::RootEventInfo
• check::debug::export::Task
• check::debug::export::TaskId
• check::debug::export::TimeStamp
• check::env::Env
• check::env::RedBound
• check::env::VariableTypeCell
• check::env::combinator::RequireAll
• check::env::infer_bounds::RedPermBoundIterator
• check::env::infer_bounds::RedTyBoundIterator
• check::env::infer_bounds::SymGenericTermBoundIterator
• check::exprs::ExprResult
• check::inference::InferenceVarData
• check::inference::serialize::InferenceVarDataExport
• check::live_places::LivePlaces
• check::member_lookup::MemberLookup
• check::red::Live
• check::red::RedChain
• check::red::RedPerm
• check::red::lattice::NoGlb
• check::report::ArcOrElse
• check::report::AwaitNonFuture
• check::report::BadSubtermError
• check::report::BooleanTypeRequired
• check::report::InferenceFallback
• check::report::InvalidAssignmentType
• check::report::InvalidInitializerType
• check::report::InvalidReturnValue
• check::report::NumericTypeExpected
• check::report::OperatorArgumentsMustHaveSameType
• check::report::OperatorRequiresNumericType
• check::report::WhereClauseError
• check::resolve::Resolver
• check::resolve::ResolverCycle
• check::runtime::EqWaker
• check::runtime::Runtime
• check::runtime::RuntimeData
• check::runtime::check_task::CheckTask
• check::scope::NameResolution
• check::scope::Scope
• check::scope::ScopeChain
• check::scope::resolve_ast_use
• check::signature::PreparedEnv
• check::stream::Consumer
• check::temporaries::Temporary
• check::universe::Universe
• ir::binder::Binder
• ir::binder::NeverBinder
• ir::classes::SymAggregate
• ir::classes::SymField
• ir::exprs::SymByteLiteral
• ir::exprs::SymByteLiteralData
• ir::exprs::SymExpr
• ir::exprs::SymMatchArm
• ir::exprs::SymPlaceExpr
• ir::functions::SignatureSymbols
• ir::functions::SymFunction
• ir::functions::SymFunctionEffects
• ir::functions::SymFunctionSignature
• ir::functions::SymInputOutput
• ir::generics::SymWhereClause
• ir::indices::InferVarIndex
• ir::module::SymModule
• ir::module::SymPrelude
• ir::primitive::SymPrimitive
• ir::primitive::primitives
• ir::subst::SubstitutionFns
• ir::types::Assumption
• ir::types::SymPerm
• ir::types::SymPlace
• ir::types::SymTy
• ir::types::Variance
• ir::variables::SymVariable
• well_known::pointer_struct
• well_known::string_class
• well_known::string_literal_fn

Enums

• check::debug::EventKind
• check::debug::TaskDescription
• check::env::VariableType
• check::env::infer_bounds::SymGenericTermBoundIteratorKind
• check::exprs::ExprResultKind
• check::inference::Direction
• check::inference::InferVarKind
• check::inference::InferenceVarBounds
• check::inference::serialize::InferenceVarBoundsExport
• check::member_lookup::SearchResult
• check::predicates::Predicate
• check::red::RedLink
• check::red::RedTy
• check::report::Because
• check::runtime::check_task::CheckTaskState
• check::scope::NameResolutionSym
• check::scope::ScopeChainKind
• check::scope_tree::ScopeItem
• ir::classes::SymAggregateStyle
• ir::classes::SymClassMember
• ir::exprs::SymBinaryOp
• ir::exprs::SymExprKind
• ir::exprs::SymLiteral
• ir::exprs::SymPlaceExprKind
• ir::functions::SignatureSource
• ir::functions::SymFunctionSource
• ir::generics::SymWhereClauseKind
• ir::module::SymItem
• ir::primitive::SymPrimitiveKind
• ir::types::AssumptionKind
• ir::types::SymGenericKind
• ir::types::SymGenericTerm
• ir::types::SymPermKind
• ir::types::SymPlaceKind
• ir::types::SymTyKind
• ir::types::SymTyName

Traits

• Db
• check::CheckExprInEnv
• check::CheckTyInEnv
• check::inference::InferenceVarDataChanged
• check::places::PlaceTy
• check::red::lattice::GreatestLowerBound
• check::report::OrElse
• check::report::OrElseHelper
• check::runtime::DeferResult
• check::scope::Resolve
• check::scope::ResolveAgainst
• check::scope::ResolveToSym
• check::scope_tree::ScopeTreeNode
• check::stream::ErasedConsumer
• check::to_red::RedTyExt
• check::to_red::ToRedChainVec
• check::to_red::ToRedLinkVecs
• check::to_red::ToRedPerm
• check::to_red::ToRedTy
• ir::binder::BoundTerm
• ir::binder::LeafBoundTerm
• ir::indices::FromInfer
• ir::indices::FromInferVar
• ir::populate::PopulateDefaultSymbols
• ir::populate::PopulateSignatureSymbols
• ir::subst::Subst
• ir::subst::SubstWith
• ir::types::AnonymousPermSymbol
• ir::types::Applicable
• ir::types::AssertKind
• ir::types::HasKind
• ir::variables::FromVar
• prelude::CheckUseItems
• prelude::CheckedBody
• prelude::CheckedFieldTy
• prelude::CheckedSignature
• prelude::Symbol

Macros

• ir::subst::identity_subst

Functions

• check::debug::event_argument
• check::env::infer_bounds::next_bound
• check::exprs::check_call_common
• check::exprs::check_class_call
• check::exprs::check_expr
• check::exprs::check_function_call
• check::exprs::check_method_call
• check::exprs::report_missing_call_to_method
• check::exprs::report_no_new_method
• check::exprs::report_non_expr
• check::exprs::report_not_callable
• check::exprs::report_not_implemented
• check::fields::check_field
• check::fields::field_err_ty
• check::functions::check_function_body
• check::functions::check_function_body_ast_block
• check::functions::check_function_body_class_constructor
• check::functions::check_main_function
• check::generics::symbolify_ast_where_clause
• check::member_lookup::non_infer_lower_bound
• check::places::field_ty
• check::predicates::is_provably_lent::application_is_provably_lent
• check::predicates::is_provably_lent::perm_is_provably_lent
• check::predicates::is_provably_lent::place_is_provably_lent
• check::predicates::is_provably_lent::term_is_provably_lent
• check::predicates::is_provably_owned::application_is_provably_owned
• check::predicates::is_provably_owned::perm_is_provably_owned
• check::predicates::is_provably_owned::place_is_provably_owned
• check::predicates::is_provably_owned::term_is_provably_owned
• check::predicates::is_provably_shared::application_is_provably_shared
• check::predicates::is_provably_shared::perm_is_provably_shared
• check::predicates::is_provably_shared::place_is_provably_shared
• check::predicates::is_provably_shared::places_are_provably_shared
• check::predicates::is_provably_shared::term_is_provably_shared
• check::predicates::is_provably_unique::application_is_provably_unique
• check::predicates::is_provably_unique::perm_is_provably_unique
• check::predicates::is_provably_unique::place_is_provably_unique
• check::predicates::is_provably_unique::term_is_provably_unique
• check::predicates::require_lent::require_application_is_lent
• check::predicates::require_lent::require_perm_is_lent
• check::predicates::require_lent::require_term_is_lent
• check::predicates::require_lent::require_ty_is_lent
• check::predicates::require_owned::require_both_are_owned
• check::predicates::require_owned::require_generics_are_owned
• check::predicates::require_owned::require_perm_is_owned
• check::predicates::require_owned::require_place_is_owned
• check::predicates::require_owned::require_term_is_owned
• check::predicates::require_owned::require_ty_is_owned
• check::predicates::require_shared::require_either_is_shared
• check::predicates::require_shared::require_generics_are_shared
• check::predicates::require_shared::require_perm_is_shared
• check::predicates::require_shared::require_place_is_shared
• check::predicates::require_shared::require_term_is_shared
• check::predicates::require_shared::require_ty_is_shared
• check::predicates::require_term_is
• check::predicates::require_unique::require_perm_is_unique
• check::predicates::require_unique::require_some_generic_is_unique
• check::predicates::require_unique::require_term_is_unique
• check::predicates::require_unique::require_ty_is_unique
• check::predicates::require_where_clause::require_where_clause
• check::predicates::term_is_provably
• check::predicates::var_infer::exists_bounding_term
• check::predicates::var_infer::infer_is_provably
• check::predicates::var_infer::require_infer_is
• check::predicates::var_infer::require_var_is
• check::predicates::var_infer::test_var_is_provably
• check::red::lattice::glb_live
• check::red::lattice::glb_perms
• check::red::lattice::lub_perms
• check::red::lattice::simplify
• check::red::sub::chain_sub_chain
• check::red::sub::links_sub_links
• check::report::anded_list
• check::scope::report_path_referencing_field
• check::scope::resolve_ast_use
• check::scope::resolve_name_against_crate
• check::signature::check_function_signature
• check::signature::output_ty
• check::signature::prepare_env
• check::signature::set_variable_ty_from_input
• check::statements::check_block_statements
• check::subst_impls::assert_bound_variable
• check::subst_impls::bind_variable
• check::subtype::is_future::require_future_red_type
• check::subtype::is_future::require_future_type
• check::subtype::is_numeric::require_my_numeric_type
• check::subtype::is_numeric::require_numeric_red_type
• check::subtype::is_numeric::require_numeric_type
• check::subtype::perms::require_infer_bounded_by_perm
• check::subtype::perms::require_perm_sub_perm
• check::subtype::perms::require_red_perm_sub_red_perm
• check::subtype::perms::require_sub_perms
• check::subtype::relate_infer_bounds::relate_infer_bounds
• check::subtype::terms::generalize
• check::subtype::terms::propagate_inverse_bound
• check::subtype::terms::reconcile_ty_bounds
• check::subtype::terms::require_assignable_type
• check::subtype::terms::require_infer_has_bound
• check::subtype::terms::require_infer_sub_infer
• check::subtype::terms::require_infer_sub_ty
• check::subtype::terms::require_sub_red_terms
• check::subtype::terms::require_sub_terms
• check::subtype::terms::require_ty_sub_infer
• check::to_red::concat_linkvecs
• check::to_red::concat_linkvecvecs
• check::to_red::expand_tail
• check::to_red::to_red_ty_with_runtime
• check::types::name_resolution_to_generic_term
• check::types::name_resolution_to_sym_perm
• check::types::name_resolution_to_sym_ty
• check::types::path_to_expr_result
• check::types::path_to_sym_place
• check::types::paths_to_sym_places
• ir::module::insert
• ir::module::insert_into_canonical_map
• ir::module::report_duplicate
• ir::populate::self_arg_requires_default_perm
• ir::populate::variable_decl_requires_default_perm
• ir::primitive::primitives
• ir::subst::default_free_var
• ir::subst::subst_var
• well_known::pointer_struct
• well_known::prelude_member
• well_known::prelude_module
• well_known::prelude_span
• well_known::report_not_found
• well_known::report_unexpected
• well_known::string_class
• well_known::string_literal_fn

Type Aliases

• check::red::lattice::Glb

Constants

• check::runtime::check_task::CHECK_TASK_VTABLE