Maybe this attribute can go on `mod imp` along with the `dead_code` one?