diff options
| author | Martin Nordholts <enselic@gmail.com> | 2022-05-04 20:49:05 +0200 |
|---|---|---|
| committer | Martin Nordholts <enselic@gmail.com> | 2022-05-04 21:03:01 +0200 |
| commit | 774b525f6f5c7a8712349e67f53cfd75056fe079 (patch) | |
| tree | bf603437488516d452e228a22284d1e53da2004d /src/test/rustdoc-json/fn_pointer | |
| parent | 1f15ce5f9748d523f3c1835da12b05b15648aa68 (diff) | |
| download | rust-774b525f6f5c7a8712349e67f53cfd75056fe079.tar.gz rust-774b525f6f5c7a8712349e67f53cfd75056fe079.zip | |
rustdoc-json: Add tests for all three HRTB fields
Diffstat (limited to 'src/test/rustdoc-json/fn_pointer')
| -rw-r--r-- | src/test/rustdoc-json/fn_pointer/generics.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/rustdoc-json/fn_pointer/generics.rs b/src/test/rustdoc-json/fn_pointer/generics.rs new file mode 100644 index 00000000000..646f720e663 --- /dev/null +++ b/src/test/rustdoc-json/fn_pointer/generics.rs @@ -0,0 +1,14 @@ +// ignore-tidy-linelength + +#![feature(no_core)] +#![no_core] + +// @count generics.json "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.decl.inputs[*]" 1 +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.decl.inputs[0][0]" '"val"' +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.decl.inputs[0][1].kind" '"borrowed_ref"' +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.decl.inputs[0][1].inner.lifetime" \"\'c\" +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.decl.output" '{ "kind": "primitive", "inner": "i32" }' +// @count - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.generic_params[*]" 1 +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.generic_params[0].name" \"\'c\" +// @is - "$.index[*][?(@.name=='WithHigherRankTraitBounds')].inner.type.inner.generic_params[0].kind" '{ "lifetime": { "outlives": [] } }' +pub type WithHigherRankTraitBounds = for<'c> fn(val: &'c i32) -> i32; |