105 lines
3.8 KiB
Rust
105 lines
3.8 KiB
Rust
|
#![crate_name = "user"]
|
||
|
|
// aux-crate:default_generic_args=default-generic-args.rs
|
||
|
|
// edition:2021
|
||
|
|
|
||
|
|
// @has user/type.BoxedStr.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Box<str>"
|
||
|
|
pub use default_generic_args::BoxedStr;
|
||
|
|
|
||
|
|
// @has user/type.IntMap.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "HashMap<i64, u64>"
|
||
|
|
pub use default_generic_args::IntMap;
|
||
|
|
|
||
|
|
// @has user/type.T0.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "TyPair<i32>"
|
||
|
|
pub use default_generic_args::T0;
|
||
|
|
|
||
|
|
// @has user/type.T1.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "TyPair<i32, u32>"
|
||
|
|
pub use default_generic_args::T1;
|
||
|
|
|
||
|
|
// @has user/type.T2.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "TyPair<i32, K>"
|
||
|
|
pub use default_generic_args::T2;
|
||
|
|
|
||
|
|
// @has user/type.T3.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "TyPair<Q>"
|
||
|
|
pub use default_generic_args::T3;
|
||
|
|
|
||
|
|
// @has user/type.C0.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "CtPair<43>"
|
||
|
|
pub use default_generic_args::C0;
|
||
|
|
|
||
|
|
// @has user/type.C1.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "CtPair<0, 1>"
|
||
|
|
pub use default_generic_args::C1;
|
||
|
|
|
||
|
|
// @has user/type.C2.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "CtPair<default_generic_args::::C2::{constant#0}, 3>"
|
||
|
|
pub use default_generic_args::C2;
|
||
|
|
|
||
|
|
// @has user/type.R0.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Re<'q>"
|
||
|
|
pub use default_generic_args::R0;
|
||
|
|
|
||
|
|
// @has user/type.R1.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Re<'q>"
|
||
|
|
pub use default_generic_args::R1;
|
||
|
|
|
||
|
|
// @has user/type.R2.html
|
||
|
|
// Check that we consider regions:
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Re<'q, &'static ()>"
|
||
|
|
pub use default_generic_args::R2;
|
||
|
|
|
||
|
|
// @has user/type.H0.html
|
||
|
|
// Check that we handle higher-ranked regions correctly:
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "fn(_: for<'a> fn(_: Re<'a>))"
|
||
|
|
pub use default_generic_args::H0;
|
||
|
|
|
||
|
|
// @has user/type.H1.html
|
||
|
|
// Check that we don't conflate distinct universially quantified regions (#1):
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "for<'b> fn(_: for<'a> fn(_: Re<'a, &'b ()>))"
|
||
|
|
pub use default_generic_args::H1;
|
||
|
|
|
||
|
|
// @has user/type.H2.html
|
||
|
|
// Check that we don't conflate distinct universially quantified regions (#2):
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "for<'a> fn(_: for<'b> fn(_: Re<'a, &'b ()>))"
|
||
|
|
pub use default_generic_args::H2;
|
||
|
|
|
||
|
|
// @has user/type.P0.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Proj<()>"
|
||
|
|
pub use default_generic_args::P0;
|
||
|
|
|
||
|
|
// @has user/type.P1.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Proj<(), bool>"
|
||
|
|
pub use default_generic_args::P1;
|
||
|
|
|
||
|
|
// @has user/type.P2.html
|
||
|
|
// @has - '//*[@class="rust item-decl"]//code' "Proj<(), ()>"
|
||
|
|
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"
|
||
|
|
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"
|
||
|
|
pub use default_generic_args::A1;
|
||
|
|
|
||
|
|
// @has user/type.M0.html
|
||
|
|
// Test that we don't elide `u64` even if it coincides with `A`'s default precisely because
|
||
|
|
// `()` is not the default of `B`. Mindlessly eliding `u64` would lead to `M<()>` which is a
|
||
|
|
// different type (`M<(), u64>` versus `M<u64, ()>`).
|
||
|
|
// @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;
|