diff options
Diffstat (limited to 'src/test/ui/issues/issue-20616.rs')
-rw-r--r-- | src/test/ui/issues/issue-20616.rs | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/src/test/ui/issues/issue-20616.rs b/src/test/ui/issues/issue-20616.rs deleted file mode 100644 index 6c24d4372..000000000 --- a/src/test/ui/issues/issue-20616.rs +++ /dev/null @@ -1,44 +0,0 @@ -// run-pass -#![allow(dead_code)] -type MyType<'a, T> = &'a T; - -// combine lifetime bounds and type arguments in usual way -type TypeA<'a> = MyType<'a, ()>; - -// ensure token `>>` works fine -type TypeB = Box<TypeA<'static>>; -type TypeB_ = Box<TypeA<'static,>>; - -// trailing comma when combine lifetime bounds and type arguments -type TypeC<'a> = MyType<'a, (),>; - -// normal lifetime bounds -type TypeD = TypeA<'static>; - -// trailing comma on lifetime bounds -type TypeE = TypeA<'static,>; - -// normal type argument -type TypeF<T> = Box<T>; - -// type argument with trailing comma -type TypeG<T> = Box<T,>; - -// trailing comma on lifetime defs -type TypeH<'a,> = &'a (); - -// trailing comma on type argument -type TypeI<T,> = T; - -static STATIC: () = (); - -fn main() { - - // ensure token `>=` works fine - let _: TypeA<'static>= &STATIC; - let _: TypeA<'static,>= &STATIC; - - // ensure token `>>=` works fine - let _: Box<TypeA<'static>>= Box::new(&STATIC); - let _: Box<TypeA<'static,>>= Box::new(&STATIC); -} |