# This file is used for clippy configuration. 
# It shouldn't contain the deny attributes, which belong to the crate root.