rust/tests/ui/marker_trait_attr
..