3 // @has foo/trait.Foo.html '//a[@href="../foo/trait.Foo.html#tymethod.req"]' 'req'
4 // @has foo/trait.Foo.html '//a[@href="../foo/trait.Foo.html#method.prov"]' 'prov'
6 /// Always make sure to implement [`req`], but you don't have to implement [`prov`].
9 /// [`prov`]: Foo::prov