Skip to content

Commit e1704f7

Browse files
committed
Auto merge of #32023 - matklad:diamonds-and-rust, r=nikomatsakis
tests: add test for empty <> Rust allows to specify an empty list of type and lifetime parameters, but there are no tests for it: ``` user@UNIT-326 [12:53:45] [~/projects/rust] [diamonds-and-rust] -> % grep "<>" -R src/test src/test/compile-fail/generic-type-params-name-repr.rs: // And don't print <> at all when there's just defaults. src/test/debuginfo/issue22656.rs:// when trying to handle a Vec<> or anything else that contains zero-sized ``` So let's add them! Besides it's such a wonderful opportunity to put a reference to Judas Priest band into the branch name ;)
2 parents d289e1a + 4844f01 commit e1704f7

File tree

1 file changed

+33
-0
lines changed

1 file changed

+33
-0
lines changed
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// Test that empty type parameter list (<>) is synonymous with
12+
// no type parameters at all
13+
14+
struct S<>;
15+
trait T<> {}
16+
enum E<> { V }
17+
impl<> T<> for S<> {}
18+
impl T for E {}
19+
fn foo<>() {}
20+
fn bar() {}
21+
22+
fn main() {
23+
let _ = S;
24+
let _ = S::<>;
25+
let _ = E::V;
26+
let _ = E::<>::V;
27+
foo();
28+
foo::<>();
29+
30+
// Test that we can supply <> to non generic things
31+
bar::<>();
32+
let _: i32<>;
33+
}

0 commit comments

Comments
 (0)