Module misc 

Miscellaneous type-system utilities that are too small to deserve their own modules.

Re-exports

use rustc_ast::Mutability; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_hir as hir; 🔒

use rustc_infer::infer::RegionResolutionError; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_infer::traits::TraitErrors; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::AdtDef; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypingMode; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::sym; 🔒

use thin_vec::ThinVec; 🔒

use crate::regions::InferCtxtRegionExt; 🔒

use crate::traits; 🔒

use crate::traits::FulfillmentError; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::ObligationCause; 🔒

Enums

ConstParamTyImplementationError

CopyImplementationError

InfringingFieldsReason

Functions

all_fields_implement_trait

Check that all fields of a given adt implement lang_item trait.

type_allowed_to_implement_const_param_ty

Checks that the fields of the type (an ADT) all implement (Unsized?)ConstParamTy.

type_allowed_to_implement_copy

Checks that the fields of the type (an ADT) all implement copy.