1 // Under the 2015 edition with the keyword_idents lint, `dyn` is
2 // not entirely acceptable as an identifier.
4 // We currently do not attempt to detect or fix uses of `dyn` as an
5 // identifier under a macro, including under the declarative `macro`
6 // forms from macros 1.2 and macros 2.0.
11 #![feature(decl_macro)]
12 #![allow(non_camel_case_types)]
13 #![deny(keyword_idents)]
21 // Here we are illustrating that the current lint does not flag the
22 // occurrences of `dyn` in this macro definition; however, it
23 // certainly *could* (and it would be nice if it did), since these
24 // occurrences are not compatible with the 2018 edition's
25 // interpretation of `dyn` as a keyword.
26 macro defn_has_dyn_idents() { ::outer_mod::dyn::dyn }
29 trait Trait { fn hello(&self) { }
}
32 macro tt_trait($arg
:tt
) { & $arg Trait }
33 macro id_trait($id
:ident
) { & $id Trait }
36 defn_has_dyn_idents
!();
38 // Here we are illustrating that the current lint does not flag
39 // the occurrences of `dyn` in these macro invocations. It
40 // definitely should *not* flag the one in `tt_trait`, since that
41 // is expanding in a valid fashion to `&dyn Trait`.
43 // It is arguable whether it would be valid to flag the occurrence
44 // in `id_trait`, since that macro specifies that it takes an
45 // `ident` as its input.
46 fn f_tt(x
: &X
) -> tt_trait
!(dyn) { x }
47 fn f_id(x
: &X
) -> id_trait
!(dyn) { x }