diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-19129-1.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-19129-1.rs b/src/test/ui/issues/issue-19129-1.rs new file mode 100644 index 000000000..03a969101 --- /dev/null +++ b/src/test/ui/issues/issue-19129-1.rs @@ -0,0 +1,16 @@ +// check-pass +// pretty-expanded FIXME #23616 + +trait Trait<Input> { + type Output; + + fn method() -> <Self as Trait<Input>>::Output; +} + +impl<T> Trait<T> for () { + type Output = (); + + fn method() {} +} + +fn main() {} |