mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update tests

Browse Source
This commit is contained in:
León Orell Valerian Liehr 2024-01-08 22:31:50 +01:00
parent 5b32681db1
commit 17ec134fa4
No known key found for this signature in database
GPG Key ID: D17A07215F68E713
3 changed files with 29 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/rustdoc/inline_cross/auxiliary/default-generic-args.rs
View File

@ -40,6 +40,11 @@
pub type M0 = Multi<u64, ()>;
pub trait Trait<'a, T = &'a ()> {}
pub trait Trait0<'a, T = &'a ()> {}
pub type D0 = dyn for<'a> Trait0<'a>;
pub type F = dyn for<'a> Trait<'a>;
// Regression test for issue #119529.
pub trait Trait1<T = (), const K: u32 = 0> {}
pub type D1<T> = dyn Trait1<T>;
pub type D2<const K: u32> = dyn Trait1<(), K>;
pub type D3 = dyn Trait1;

1
tests/rustdoc/inline_cross/auxiliary/u_default_generic_args.rs Normal file
View File

@ -0,0 +1 @@
pub use default_generic_args::*;

32
tests/rustdoc/inline_cross/default-generic-args.rs
View File

@ -79,15 +79,14 @@
pub use default_generic_args::P2;
// @has user/type.A0.html
// Ensure that we elide generic arguments that are alpha-equivalent to their respective
// generic parameter (modulo substs) (#1):
// @has - '//*[@class="rust item-decl"]//code' "Alpha"
// @has - '//*[@class="rust item-decl"]//code' "Alpha;"
pub use default_generic_args::A0;
// @has user/type.A1.html
// Ensure that we elide generic arguments that are alpha-equivalent to their respective
// generic parameter (modulo substs) (#1):
// @has - '//*[@class="rust item-decl"]//code' "Alpha"
// Demonstrates that we currently don't elide generic arguments that are alpha-equivalent to their
// respective generic parameter (after instantiation) for perf reasons (it would require us to
// create an inference context).
// @has - '//*[@class="rust item-decl"]//code' "Alpha<for<'arbitrary> fn(_: &'arbitrary ())>"
pub use default_generic_args::A1;
// @has user/type.M0.html
@ -97,8 +96,19 @@
// @has - '//*[@class="rust item-decl"]//code' "Multi<u64, ()>"
pub use default_generic_args::M0;
// @has user/type.F.html
// FIXME: Ideally, we would elide `&'a ()` but `'a` is an escaping bound var which we can't reason
// about at the moment since we don't keep track of bound vars.
// @has - '//*[@class="rust item-decl"]//code' "dyn for<'a> Trait<'a, &'a ()>"
pub use default_generic_args::F;
// @has user/type.D0.html
// @has - '//*[@class="rust item-decl"]//code' "dyn for<'a> Trait0<'a>"
pub use default_generic_args::D0;
// Regression test for issue #119529.
// Check that we correctly elide def ty&const args inside trait object types.
// @has user/type.D1.html
// @has - '//*[@class="rust item-decl"]//code' "dyn Trait1<T>"
pub use default_generic_args::D1;
// @has user/type.D2.html
// @has - '//*[@class="rust item-decl"]//code' "dyn Trait1<(), K>"
pub use default_generic_args::D2;
// @has user/type.D3.html
// @has - '//*[@class="rust item-decl"]//code' "dyn Trait1;"
pub use default_generic_args::D3;