diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2021-06-29 00:27:00 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 00:27:00 +0900 |
| commit | c5055b75a280c7e67ff921045edf1a718fcf4c4c (patch) | |
| tree | cc0ee72f70f2e4292cc0190ba59cd89e062cefc1 | |
| parent | 98808462c468b5db7c1300cf90338853b85bc9de (diff) | |
| parent | 16201597da9a5dc87e93f0cea9ab7ebf514295aa (diff) | |
| download | rust-c5055b75a280c7e67ff921045edf1a718fcf4c4c.tar.gz rust-c5055b75a280c7e67ff921045edf1a718fcf4c4c.zip | |
Rollup merge of #86688 - JohnTitor:test-65384, r=jackh726
Add a regression test for issue-65384 Closes #65384 r? `@jackh726`
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-65384.rs | 16 | ||||
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-65384.stderr | 14 |
2 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-65384.rs b/src/test/ui/type-alias-impl-trait/issue-65384.rs new file mode 100644 index 00000000000..63666c497c6 --- /dev/null +++ b/src/test/ui/type-alias-impl-trait/issue-65384.rs @@ -0,0 +1,16 @@ +#![feature(min_type_alias_impl_trait)] +#![feature(type_alias_impl_trait)] +#![allow(incomplete_features)] + +trait MyTrait {} + +impl MyTrait for () {} + +type Bar = impl MyTrait; + +impl MyTrait for Bar {} +//~^ ERROR: cannot implement trait on type alias impl trait + +fn bazr() -> Bar { } + +fn main() {} diff --git a/src/test/ui/type-alias-impl-trait/issue-65384.stderr b/src/test/ui/type-alias-impl-trait/issue-65384.stderr new file mode 100644 index 00000000000..01d037266ec --- /dev/null +++ b/src/test/ui/type-alias-impl-trait/issue-65384.stderr @@ -0,0 +1,14 @@ +error: cannot implement trait on type alias impl trait + --> $DIR/issue-65384.rs:11:1 + | +LL | impl MyTrait for Bar {} + | ^^^^^^^^^^^^^^^^^^^^ + | +note: type alias impl trait defined here + --> $DIR/issue-65384.rs:9:12 + | +LL | type Bar = impl MyTrait; + | ^^^^^^^^^^^^ + +error: aborting due to previous error + |