Module types

Modules

• improper_ctypes 🔒
• literal 🔒

Structs

• CTypesVisitorState 🔒
  Accumulator for recursive ffi type checking
• ImproperCTypesDeclarations
• ImproperCTypesDefinitions
• ImproperCTypesVisitor 🔒
• InvalidAtomicOrdering
• TypeLimits 🔒
• VariantSizeDifferences

Enums

• CItemKind 🔒
• ComparisonOp 🔒
• FfiResult 🔒
• TypeSizedness 🔒
  Determine if a type is sized or not, and wether it affects references/pointers/boxes to it

Statics

• AMBIGUOUS_WIDE_POINTER_COMPARISONS 🔒
  The ambiguous_wide_pointer_comparisons lint checks comparison of *const/*mut ?Sized as the operands.
• IMPROPER_CTYPES 🔒
  The improper_ctypes lint detects incorrect use of types in foreign modules.
• IMPROPER_CTYPES_DEFINITIONS 🔒
  The improper_ctypes_definitions lint detects incorrect use of extern function definitions.
• 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 comparison with f32::NAN or f64::NAN as one of the operand.
• OVERFLOWING_LITERALS 🔒
  The overflowing_literals lint detects literal out of range for its 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.

Functions

• 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_type_sizedness 🔒
  Is this type unsized because it contains (or is) a foreign type? (Returns Err if the type happens to be sized after all)
• is_niche_optimization_candidate 🔒
  A type is niche-optimization candidate iff:
• lint_fn_pointer 🔒
• lint_nan 🔒
• lint_wide_pointer 🔒
• nonnull_optimization_guaranteed 🔒
• 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?