Skip to content

Commit f1cefa1

Browse files
committed
---
yaml --- r: 16105 b: refs/heads/try c: e4694ca h: refs/heads/master i: 16103: 1f8c991 v: v3
1 parent bfcd6e2 commit f1cefa1

File tree

3 files changed

+13
-3
lines changed

3 files changed

+13
-3
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@
22
refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
5-
refs/heads/try: e6b9db08841c5d215c56790e35f951a99275001d
5+
refs/heads/try: e4694ca51942248308c1d3e05d7c6df90539f994
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
type an_int = int;
2+
3+
fn cmp(x: option<an_int>, y: option<int>) -> bool {
4+
x == y
5+
}
6+
7+
fn main() {
8+
assert !cmp(some(3), none);
9+
assert !cmp(some(3), some(4));
10+
assert cmp(some(3), some(3));
11+
assert cmp(none, none);
12+
}

branches/try/src/test/run-pass/regions-fn-subtyping.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//xfail-test
2-
31
// Issue #2263.
42

53
// Should pass region checking.

0 commit comments

Comments
 (0)