diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-93874.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-93874.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/generic-associated-types/issue-93874.rs b/src/test/ui/generic-associated-types/issue-93874.rs deleted file mode 100644 index 30956655a..000000000 --- a/src/test/ui/generic-associated-types/issue-93874.rs +++ /dev/null @@ -1,33 +0,0 @@ -// check-pass - -pub trait Build { - type Output<O>; - fn build<O>(self, input: O) -> Self::Output<O>; -} - -pub struct IdentityBuild; -impl Build for IdentityBuild { - type Output<O> = O; - fn build<O>(self, input: O) -> Self::Output<O> { - input - } -} - -fn a() { - let _x: u8 = IdentityBuild.build(10); -} - -fn b() { - let _x: Vec<u8> = IdentityBuild.build(Vec::new()); -} - -fn c() { - let mut f = IdentityBuild.build(|| ()); - (f)(); -} - -pub fn main() { - a(); - b(); - c(); -} |