Skip to content

Commit 734adb3

Browse files
lqdoli-obk
authored andcommitted
update ui tests using opaque types in impl headers
1 parent d652cd4 commit 734adb3

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/test/ui/type-alias-impl-trait/issue-84660-trait-impl-for-tait.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
// Regression test for issues #84660 and #86411: both are variations on #76202.
22
// Tests that we don't ICE when we have an opaque type appearing anywhere in an impl header.
33

4-
#![feature(min_type_alias_impl_trait)]
4+
#![feature(type_alias_impl_trait)]
55

66
trait Foo {}
77
impl Foo for () {}

src/test/ui/type-alias-impl-trait/issue-84660-unsoundness.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
// Another example from issue #84660, this time weaponized as a safe transmut: an opaque type in an
22
// impl header being accepted was used to create unsoundness.
33

4-
#![feature(min_type_alias_impl_trait)]
4+
#![feature(type_alias_impl_trait)]
55

66
trait Foo {}
77
impl Foo for () {}

0 commit comments

Comments
 (0)