@@ -11,7 +11,7 @@ use crate::debuggers::{extract_cdb_version, extract_gdb_version};
1111pub ( crate ) use crate :: directives:: auxiliary:: AuxProps ;
1212use crate :: directives:: auxiliary:: parse_and_update_aux;
1313use crate :: directives:: directive_names:: {
14- KNOWN_DIRECTIVE_NAMES , KNOWN_HTMLDOCCK_DIRECTIVE_NAMES , KNOWN_JSONDOCCK_DIRECTIVE_NAMES ,
14+ KNOWN_DIRECTIVE_NAMES_SET , KNOWN_HTMLDOCCK_DIRECTIVE_NAMES , KNOWN_JSONDOCCK_DIRECTIVE_NAMES ,
1515} ;
1616pub ( crate ) use crate :: directives:: file:: FileDirectives ;
1717use crate :: directives:: line:: { DirectiveLine , line_directive} ;
@@ -786,7 +786,7 @@ fn check_directive<'a>(
786786) -> CheckDirectiveResult < ' a > {
787787 let & DirectiveLine { name : directive_name, .. } = directive_ln;
788788
789- let is_known_directive = KNOWN_DIRECTIVE_NAMES . contains ( & directive_name)
789+ let is_known_directive = KNOWN_DIRECTIVE_NAMES_SET . contains ( & directive_name)
790790 || match mode {
791791 TestMode :: Rustdoc => KNOWN_HTMLDOCCK_DIRECTIVE_NAMES . contains ( & directive_name) ,
792792 TestMode :: RustdocJson => KNOWN_JSONDOCCK_DIRECTIVE_NAMES . contains ( & directive_name) ,
@@ -799,7 +799,7 @@ fn check_directive<'a>(
799799 let trailing_directive = directive_ln
800800 . remark_after_space ( )
801801 . map ( |remark| remark. trim_start ( ) . split ( ' ' ) . next ( ) . unwrap ( ) )
802- . filter ( |token| KNOWN_DIRECTIVE_NAMES . contains ( token) ) ;
802+ . filter ( |token| KNOWN_DIRECTIVE_NAMES_SET . contains ( token) ) ;
803803
804804 // FIXME(Zalathar): Consider emitting specialized error/help messages for
805805 // bogus directive names that are similar to real ones, e.g.:
0 commit comments