diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-06-21 15:42:25 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-21 13:15:24 +0000 |
| commit | 20d962cfa5511eece711684ff83cb721eacd60dc (patch) | |
| tree | 562186b7bc7e00fbd1a2cbb0fb62179778ecf3da /src | |
| parent | 615c9e8647b0ce46c1b1755201c8e2799a3ca2bc (diff) | |
| download | rust-20d962cfa5511eece711684ff83cb721eacd60dc.tar.gz rust-20d962cfa5511eece711684ff83cb721eacd60dc.zip | |
Simplify insert_outlives_predicate opaque type logic
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs b/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs new file mode 100644 index 00000000000..a5ab3e1acae --- /dev/null +++ b/src/test/ui/type-alias-impl-trait/unbounded_opaque_type.rs @@ -0,0 +1,8 @@ +// check-pass + +#![feature(type_alias_impl_trait)] +type Opaque<T> = impl Sized; +fn defining<T>() -> Opaque<T> {} +struct Ss<'a, T>(&'a Opaque<T>); + +fn main() {} |