user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Check predicates from blanket trait impls while testing if they apply

Browse source
This commit is contained in:
Wim Looman 2020-11-02 22:19:36 +01:00
parent 4051473c8b
commit 0e2af5cc63
2 changed files with 47 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

24
src/test/rustdoc/issue-78673.rs Normal file
View file

@ -0,0 +1,24 @@
#![crate_name = "issue_78673"]
pub trait Something {}
pub trait AnAmazingTrait {}
impl<T: Something> AnAmazingTrait for T {}
// @has 'issue_78673/struct.MyStruct.html'
// @has - '//*[@class="impl"]' 'AnAmazingTrait for MyStruct'
// @!has - '//*[@class="impl"]' 'AnAmazingTrait for T'
pub struct MyStruct;
impl AnAmazingTrait for MyStruct {}
// generic structs may have _both_ specific and blanket impls that apply
// @has 'issue_78673/struct.AnotherStruct.html'
// @has - '//*[@class="impl"]' 'AnAmazingTrait for AnotherStruct<()>'
// @has - '//*[@class="impl"]' 'AnAmazingTrait for T'
pub struct AnotherStruct<T>(T);
impl<T: Something> Something for AnotherStruct<T> {}
impl AnAmazingTrait for AnotherStruct<()> {}