Do not trigger warnings for exported configurations.

This commit is contained in:
KtorZ 2024-08-17 14:56:56 +02:00
parent 9063549f2e
commit 38e8c6264d
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 3 additions and 1 deletions

View File

@ -812,7 +812,9 @@ where
&mut self.data_types, &mut self.data_types,
)?; )?;
if our_modules.contains(checked_module.name.as_str()) { if our_modules.contains(checked_module.name.as_str())
&& checked_module.name.as_str() != ast::CONFIG_MODULE
{
self.warnings.extend(warnings); self.warnings.extend(warnings);
} }