move (and remove) impl Trait tests

This commit is contained in:
lcnr 2025-05-09 02:35:18 +00:00
parent 667247db71
commit 9eac7a3e04
59 changed files with 30 additions and 63 deletions

View file

@ -1183,47 +1183,39 @@ ui/impl-trait/explicit-generic-args-with-impl-trait/issue-87718.rs
ui/impl-trait/in-trait/issue-102140.rs
ui/impl-trait/in-trait/issue-102301.rs
ui/impl-trait/in-trait/issue-102571.rs
ui/impl-trait/issue-100075-2.rs
ui/impl-trait/issue-100075.rs
ui/impl-trait/issue-100187.rs
ui/impl-trait/issue-102605.rs
ui/impl-trait/issue-103181-1.rs
ui/impl-trait/issue-103181-2.rs
ui/impl-trait/issue-103599.rs
ui/impl-trait/issue-108591.rs
ui/impl-trait/issue-108592.rs
ui/impl-trait/issue-35668.rs
ui/impl-trait/issue-36792.rs
ui/impl-trait/issue-46959.rs
ui/impl-trait/issue-49556.rs
ui/impl-trait/issue-49579.rs
ui/impl-trait/issue-49685.rs
ui/impl-trait/issue-51185.rs
ui/impl-trait/issue-54966.rs
ui/impl-trait/issue-55872-1.rs
ui/impl-trait/issue-55872-2.rs
ui/impl-trait/issue-55872-3.rs
ui/impl-trait/issue-55872.rs
ui/impl-trait/issue-56445.rs
ui/impl-trait/issue-68532.rs
ui/impl-trait/issue-72911.rs
ui/impl-trait/issue-87450.rs
ui/impl-trait/issue-99073-2.rs
ui/impl-trait/issue-99073.rs
ui/impl-trait/issue-99642-2.rs
ui/impl-trait/issue-99642.rs
ui/impl-trait/issue-99914.rs
ui/impl-trait/issues/issue-100075-2.rs
ui/impl-trait/issues/issue-100075.rs
ui/impl-trait/issues/issue-100187.rs
ui/impl-trait/issues/issue-102605.rs
ui/impl-trait/issues/issue-103181-1.rs
ui/impl-trait/issues/issue-103181-2.rs
ui/impl-trait/issues/issue-103599.rs
ui/impl-trait/issues/issue-104815.rs
ui/impl-trait/issues/issue-105826.rs
ui/impl-trait/issues/issue-108591.rs
ui/impl-trait/issues/issue-108592.rs
ui/impl-trait/issues/issue-21659-show-relevant-trait-impls-3.rs
ui/impl-trait/issues/issue-35668.rs
ui/impl-trait/issues/issue-36792.rs
ui/impl-trait/issues/issue-42479.rs
ui/impl-trait/issues/issue-46959.rs
ui/impl-trait/issues/issue-49376.rs
ui/impl-trait/issues/issue-49556.rs
ui/impl-trait/issues/issue-49579.rs
ui/impl-trait/issues/issue-49685.rs
ui/impl-trait/issues/issue-51185.rs
ui/impl-trait/issues/issue-52128.rs
ui/impl-trait/issues/issue-53457.rs
ui/impl-trait/issues/issue-54600.rs
ui/impl-trait/issues/issue-54840.rs
ui/impl-trait/issues/issue-54895.rs
ui/impl-trait/issues/issue-54966.rs
ui/impl-trait/issues/issue-55608-captures-empty-region.rs
ui/impl-trait/issues/issue-55872-1.rs
ui/impl-trait/issues/issue-55872-2.rs
ui/impl-trait/issues/issue-55872-3.rs
ui/impl-trait/issues/issue-55872.rs
ui/impl-trait/issues/issue-56445.rs
ui/impl-trait/issues/issue-57464-unexpected-regions.rs
ui/impl-trait/issues/issue-57979-deeply-nested-impl-trait-in-assoc-proj.rs
ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs
@ -1233,8 +1225,10 @@ ui/impl-trait/issues/issue-58956.rs
ui/impl-trait/issues/issue-62742.rs
ui/impl-trait/issues/issue-65581.rs
ui/impl-trait/issues/issue-67830.rs
ui/impl-trait/issues/issue-68532.rs
ui/impl-trait/issues/issue-70877.rs
ui/impl-trait/issues/issue-70971.rs
ui/impl-trait/issues/issue-72911.rs
ui/impl-trait/issues/issue-74282.rs
ui/impl-trait/issues/issue-77987.rs
ui/impl-trait/issues/issue-78722-2.rs
@ -1251,12 +1245,18 @@ ui/impl-trait/issues/issue-86719.rs
ui/impl-trait/issues/issue-86800.rs
ui/impl-trait/issues/issue-87295.rs
ui/impl-trait/issues/issue-87340.rs
ui/impl-trait/issues/issue-87450.rs
ui/impl-trait/issues/issue-88236-2.rs
ui/impl-trait/issues/issue-88236.rs
ui/impl-trait/issues/issue-89312.rs
ui/impl-trait/issues/issue-92305.rs
ui/impl-trait/issues/issue-93788.rs
ui/impl-trait/issues/issue-99073-2.rs
ui/impl-trait/issues/issue-99073.rs
ui/impl-trait/issues/issue-99348-impl-compatibility.rs
ui/impl-trait/issues/issue-99642-2.rs
ui/impl-trait/issues/issue-99642.rs
ui/impl-trait/issues/issue-99914.rs
ui/implied-bounds/issue-100690.rs
ui/implied-bounds/issue-101951.rs
ui/implied-bounds/issue-110161.rs

View file

@ -1,23 +0,0 @@
// Test that we are special casing "outlives" for opaque types.
//
// The return type of a closure is not required to outlive the closure. As such
// the following code would not compile if we used a standard outlives check
// when checking the return type, because the return type of the closure would
// be `&ReEmpty i32`, and we don't allow `ReEmpty` to occur in the concrete
// type used for an opaque type.
//
// However, opaque types are special cased to include check all regions in the
// concrete type against the bound, which forces the return type to be
// `&'static i32` here.
//@ build-pass (FIXME(62277): could be check-pass?)
fn make_identity() -> impl Sized {
|x: &'static i32| x
}
fn make_identity_static() -> impl Sized + 'static {
|x: &'static i32| x
}
fn main() {}

View file

@ -1,10 +0,0 @@
//@ check-pass
pub fn keys<'a>(x: &'a Result<u32, u32>) -> impl std::fmt::Debug + 'a {
match x {
Ok(map) => Ok(map),
Err(map) => Err(map),
}
}
fn main() {}