Skip to main content Module types Copy item path Source use std::iter ; 🔒 use rustc_abi::BackendRepr ; 🔒 use rustc_abi::TagEncoding ; 🔒 use rustc_abi::Variants ; 🔒 use rustc_abi::WrappingRange ; 🔒 use rustc_ast as ast; 🔒 use rustc_ast::util::parser::ExprPrecedence ; 🔒 use rustc_attr_ir::find_attr ; 🔒 use rustc_attr_ir::lang_items::LangItem ; 🔒 use rustc_hir as hir; 🔒 use rustc_hir::Expr ; 🔒 use rustc_hir::ExprKind ; 🔒 use rustc_hir::HirId ; 🔒 use rustc_lint_defs::declare_lint ; 🔒 use rustc_lint_defs::declare_lint_pass ; 🔒 use rustc_lint_defs::impl_lint_pass ; 🔒 use rustc_middle::ty::layout::LayoutOf ; 🔒 use rustc_middle::ty::layout::SizeSkeleton ; 🔒 use rustc_middle::ty ; 🔒 use rustc_middle::ty::Ty ; 🔒 use rustc_middle::ty::TyCtxt ; 🔒 use rustc_middle::ty::TypeVisitableExt ; 🔒 use rustc_middle::ty::Unnormalized ; 🔒 use rustc_span::DUMMY_SP ; 🔒 use rustc_span::Span ; 🔒 use rustc_span::Symbol ; 🔒 use rustc_span::bug ; 🔒 use rustc_span::sym ; 🔒 use tracing::debug ; 🔒 pub(crate) use improper_ctypes::ImproperCTypesLint ; 🔒 use crate::diagnostics::AmbiguousWidePointerComparisons ; 🔒 use crate::diagnostics::AmbiguousWidePointerComparisonsAddrMetadataSuggestion ; 🔒 use crate::diagnostics::AmbiguousWidePointerComparisonsAddrSuggestion ; 🔒 use crate::diagnostics::AmbiguousWidePointerComparisonsCastSuggestion ; 🔒 use crate::diagnostics::AmbiguousWidePointerComparisonsExpectSuggestion ; 🔒 use crate::diagnostics::AtomicOrderingFence ; 🔒 use crate::diagnostics::AtomicOrderingLoad ; 🔒 use crate::diagnostics::AtomicOrderingStore ; 🔒 use crate::diagnostics::InvalidAtomicOrderingDiag ; 🔒 use crate::diagnostics::InvalidNanComparisons ; 🔒 use crate::diagnostics::InvalidNanComparisonsSuggestion ; 🔒 use crate::diagnostics::UnpredictableFunctionPointerComparisons ; 🔒 use crate::diagnostics::UnpredictableFunctionPointerComparisonsSuggestion ; 🔒 use crate::diagnostics::UnusedComparisons ; 🔒 use crate::diagnostics::VariantSizeDifferencesDiag ; 🔒 use crate::utils::std_or_core ; 🔒 use crate::LateContext ; 🔒 use crate::LateLintPass ; 🔒 use crate::LintContext ; 🔒 use literal::int_ty_range ; 🔒 use literal::lint_literal ; 🔒 use literal::uint_ty_range ; 🔒 improper_ctypes 🔒 literal 🔒 InvalidAtomicOrdering NegationInfo 🔒 TypeLimits 🔒 VariantSizeDifferences ComparisonOp 🔒 AMBIGUOUS_WIDE_POINTER_COMPARISONS 🔒 The ambiguous_wide_pointer_comparisons lint checks comparison
of *const/*mut ?Sized as the operands. INVALID_ATOMIC_ORDERING 🔒 The invalid_atomic_ordering lint detects passing an Ordering
to an atomic operation that does not support that ordering. INVALID_NAN_COMPARISONS 🔒 The invalid_nan_comparisons lint checks comparisons with the NAN constants
of f16, f32, f64, and f128. OVERFLOWING_LITERALS 🔒 The overflowing_literals lint detects literals out of range for their type. UNPREDICTABLE_FUNCTION_POINTER_COMPARISONS 🔒 The unpredictable_function_pointer_comparisons lint checks comparison
of function pointer as the operands. UNUSED_COMPARISONS 🔒 The unused_comparisons lint detects comparisons made useless by
limits of the types involved. VARIANT_SIZE_DIFFERENCES 🔒 The variant_size_differences lint detects enums with widely varying
variant sizes. get_nullable_type 🔒 Given a non-null scalar (or transparent) type ty, return the nullable version of that type.
If the type passed in was not scalar, returns None. get_nullable_type_from_pat 🔒 is_niche_optimization_candidate 🔒 A type is niche-optimization candidate iff: lint_fn_pointer 🔒 lint_nan 🔒 lint_wide_pointer 🔒 nonnull_optimization_guaranteed 🔒 pat_ty_is_known_nonnull 🔒 repr_nullable_ptr 🔒 Check if this enum can be safely exported based on the “nullable pointer optimization”. If it
can, return the type that ty can be safely converted to, otherwise return None.
Currently restricted to function pointers, boxes, references, core::num::NonZero,
core::ptr::NonNull, and #[repr(transparent)] newtypes. transparent_newtype_field 🔒 repr(transparent) structs can have a single non-1-ZST field, this function returns that
field.ty_is_known_nonnull 🔒 Is type known to be non-null?