diff options
| author | Aleksey Kladov <aleksey.kladov@gmail.com> | 2016-03-03 13:04:53 +0300 |
|---|---|---|
| committer | Aleksey Kladov <aleksey.kladov@gmail.com> | 2016-03-03 23:30:23 +0300 |
| commit | 4844f01babbd8846ef0ba1d92580cd65178e3d2e (patch) | |
| tree | c2723b8076e462fcd950c8699a6d4b574eb3ded6 | |
| parent | 7cee8b9ffb6a2dac7e2f729988c2324e2f8ac10f (diff) | |
| download | rust-4844f01babbd8846ef0ba1d92580cd65178e3d2e.tar.gz rust-4844f01babbd8846ef0ba1d92580cd65178e3d2e.zip | |
tests: add test for empty <>
| -rw-r--r-- | src/test/run-pass/empty-type-parameter-list.rs | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/test/run-pass/empty-type-parameter-list.rs b/src/test/run-pass/empty-type-parameter-list.rs new file mode 100644 index 00000000000..7af2844d564 --- /dev/null +++ b/src/test/run-pass/empty-type-parameter-list.rs @@ -0,0 +1,33 @@ +// Copyright 2016 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or +// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license +// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// Test that empty type parameter list (<>) is synonymous with +// no type parameters at all + +struct S<>; +trait T<> {} +enum E<> { V } +impl<> T<> for S<> {} +impl T for E {} +fn foo<>() {} +fn bar() {} + +fn main() { + let _ = S; + let _ = S::<>; + let _ = E::V; + let _ = E::<>::V; + foo(); + foo::<>(); + + // Test that we can supply <> to non generic things + bar::<>(); + let _: i32<>; +} |
