diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-19479.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-19479.rs b/src/test/ui/issues/issue-19479.rs new file mode 100644 index 000000000..70bfe7213 --- /dev/null +++ b/src/test/ui/issues/issue-19479.rs @@ -0,0 +1,19 @@ +// check-pass +// pretty-expanded FIXME #23616 + +trait Base { + fn dummy(&self) { } +} +trait AssocA { + type X: Base; + fn dummy(&self) { } +} +trait AssocB { + type Y: Base; + fn dummy(&self) { } +} +impl<T: AssocA> AssocB for T { + type Y = <T as AssocA>::X; +} + +fn main() {} |