Skip to content

Commit b8aa8ca

Browse files
committed
Add tests for -Zepoch using tyvar_raw_pointer
1 parent 83a9f49 commit b8aa8ca

File tree

2 files changed

+45
-0
lines changed

2 files changed

+45
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
// Copyright 2012 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+
// ignore-tidy-linelength
12+
// compile-flags: -Zepoch=2015 -Zunstable-options
13+
14+
// tests that epochs work with the tyvar warning-turned-error
15+
16+
#[deny(warnings)]
17+
fn main() {
18+
let x = 0;
19+
let y = &x as *const _;
20+
let _ = y.is_null();
21+
//~^ error: the type of this value must be known in this context [tyvar_behind_raw_pointer]
22+
//~^^ warning: this was previously accepted
23+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
// Copyright 2012 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+
// ignore-tidy-linelength
12+
// compile-flags: -Zepoch=2018 -Zunstable-options
13+
14+
// tests that epochs work with the tyvar warning-turned-error
15+
16+
#[deny(warnings)]
17+
fn main() {
18+
let x = 0;
19+
let y = &x as *const _;
20+
let _ = y.is_null();
21+
//~^ error: the type of this value must be known to call a method on a raw pointer on it [E0908]
22+
}

0 commit comments

Comments
 (0)