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

Auto merge of #78683 - Nemo157:issue-78673, r=lcnr

Browse source 
Check predicates from blanket trait impls while testing if they apply

fixes #78673
This commit is contained in:
bors 2020-11-13 23:12:01 +00:00
commit b63d05a908
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<()> {}