diff options
Diffstat (limited to 'src/test/ui/associated-type-bounds/issue-70292.rs')
-rw-r--r-- | src/test/ui/associated-type-bounds/issue-70292.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/associated-type-bounds/issue-70292.rs b/src/test/ui/associated-type-bounds/issue-70292.rs new file mode 100644 index 000000000..945d7688c --- /dev/null +++ b/src/test/ui/associated-type-bounds/issue-70292.rs @@ -0,0 +1,21 @@ +// check-pass + +#![feature(associated_type_bounds)] + +fn foo<F>(_: F) +where + F: for<'a> Trait<Output: 'a>, +{ +} + +trait Trait { + type Output; +} + +impl<T> Trait for T { + type Output = (); +} + +fn main() { + foo(()); +} |