diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-23406.rs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-23406.rs b/src/test/ui/issues/issue-23406.rs new file mode 100644 index 000000000..d00d5d6f9 --- /dev/null +++ b/src/test/ui/issues/issue-23406.rs @@ -0,0 +1,15 @@ +// build-pass +#![allow(dead_code)] +trait Inner { + type T; +} + +impl<'a> Inner for &'a i32 { + type T = i32; +} + +fn f<'a>(x: &'a i32) -> <&'a i32 as Inner>::T { + *x +} + +fn main() {} |