lint ImproperCTypes: overhaul (decluttered PR) - #160405

Draft

niacdoial wants to merge 17 commits into

rust-lang:mainfrom

niacdoial:linting-ptrdyn-ffi

Commits on Aug 2, 2026

ImproperCTypes: add architecture for layered reasoning in lints
niacdoial
committed
b39e43f
ImproperCTypes: Redo the improper_ctypes / ..._definitions separation
niacdoial
committed
5102ce4
ImproperCTypes: change handling of FnPtrs
niacdoial
committed
d18f356
ImproperCTypes: change cstr linting
niacdoial
committed
ad23745
ImproperCTypes: change handling of indirections
niacdoial
committed
c2c87c0
ImproperCTypes: change what type is blamed, use nested help messages
niacdoial
committed
ee88e36
ImproperCTypes: change handling of ADTs
niacdoial
committed
fcb5ca0
ImproperCTypes: change handling of slices
niacdoial
committed
9f84f57
ImproperCTypes: handle uninhabited types
niacdoial
committed
7ee564f
ImproperCTypes: handle the Option<pattern> case
niacdoial
committed
1085d72
ImproperCTypes: refactor handling opaque aliases
niacdoial
committed
05e46d9
ImproperCTypes: also check in traits
niacdoial
committed
771a21b
ImproperCTypes: also check 'exported' static variables
niacdoial
committed
1c17bbe
ImproperCTypes: don't consider packed reprs
niacdoial
committed
48faef0
ImproperCTypes: add tests
niacdoial
committed
8e9fa4e
ImproperCTypes: misc. adaptations
niacdoial
committed
b50a14c
ImproperCTypes: rename associated tests
niacdoial
committed
12f0424