diff options
author | León Orell Valerian Liehr <me@fmease.dev> | 2023-04-27 18:12:53 +0200 |
---|---|---|
committer | León Orell Valerian Liehr <me@fmease.dev> | 2023-04-27 18:12:53 +0200 |
commit | 34d96886d48a9d7deb53ae1f6a13b571b5caeb78 (patch) | |
tree | 72892b9d182750c3575f27cb49e90999c8a0e42f /tests/rustdoc-ui | |
parent | de96f3d8735b70d5dc1ca178aaee198b329b8f3d (diff) | |
download | rust-34d96886d48a9d7deb53ae1f6a13b571b5caeb78.tar.gz |
rustdoc: rebind bound vars to type-outlives predicates
Diffstat (limited to 'tests/rustdoc-ui')
-rw-r--r-- | tests/rustdoc-ui/issue-110900.rs | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/rustdoc-ui/issue-110900.rs b/tests/rustdoc-ui/issue-110900.rs new file mode 100644 index 00000000000..e3154baf860 --- /dev/null +++ b/tests/rustdoc-ui/issue-110900.rs @@ -0,0 +1,28 @@ +// check-pass + +#![crate_type="lib"] +#![feature(associated_type_bounds)] + +trait A<'a> {} +trait B<'b> {} + +trait C<'c>: for<'a> A<'a> + for<'b> B<'b> { + type As; +} + +trait E<'e> { + type As; +} +trait F<'f>: for<'a> A<'a> + for<'e> E<'e> {} +struct G<T> +where + T: for<'l, 'i> H<'l, 'i, As: for<'a> A<'a> + 'i> +{ + t: std::marker::PhantomData<T>, +} + +trait I<'a, 'b, 'c> { + type As; +} + +trait H<'d, 'e>: for<'f> I<'d, 'f, 'e> + 'd {} |