tests
This commit is contained in:
parent
d3f51dcab8
commit
db640d53b8
|
@ -0,0 +1,24 @@
|
|||
// Copyright 2014 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 method calls with self as an argument cannot subvert type checking.
|
||||
|
||||
struct Foo;
|
||||
|
||||
impl Foo {
|
||||
fn bar(&self) {}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let x = Foo;
|
||||
Foo::bar(x); //~ERROR mismatched types: expected `&Foo`, found `Foo`
|
||||
Foo::bar(&&x); //~ERROR mismatched types: expected `&Foo`, found `&&Foo`
|
||||
Foo::bar(&42i); //~ERROR mismatched types: expected `&Foo`, found `&int`
|
||||
}
|
|
@ -0,0 +1,27 @@
|
|||
// Copyright 2014 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 method calls with self as an argument cannot subvert borrow checking.
|
||||
|
||||
struct Foo;
|
||||
|
||||
impl Foo {
|
||||
fn bar(&self) {}
|
||||
fn baz(&mut self) {}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let mut x = Foo;
|
||||
let y = &mut x;
|
||||
Foo::bar(&x); //~ERROR cannot borrow `x`
|
||||
|
||||
let x = Foo;
|
||||
Foo::baz(&x); //~ERROR cannot borrow immutable dereference of `&`-pointer as mutable
|
||||
}
|
|
@ -0,0 +1,54 @@
|
|||
// Copyright 2014 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 method calls with self as an argument
|
||||
|
||||
static mut COUNT: uint = 1;
|
||||
|
||||
struct Foo;
|
||||
|
||||
impl Foo {
|
||||
fn foo(self, x: &Foo) {
|
||||
unsafe { COUNT *= 2; }
|
||||
// Test internal call.
|
||||
Foo::bar(&self);
|
||||
Foo::bar(x);
|
||||
|
||||
Foo::baz(self);
|
||||
Foo::baz(*x);
|
||||
|
||||
Foo::qux(box self);
|
||||
Foo::qux(box *x);
|
||||
}
|
||||
|
||||
fn bar(&self) {
|
||||
unsafe { COUNT *= 3; }
|
||||
}
|
||||
|
||||
fn baz(self) {
|
||||
unsafe { COUNT *= 5; }
|
||||
}
|
||||
|
||||
fn qux(self: Box<Foo>) {
|
||||
unsafe { COUNT *= 7; }
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let x = Foo;
|
||||
// Test external call.
|
||||
Foo::bar(&x);
|
||||
Foo::baz(x);
|
||||
Foo::qux(box x);
|
||||
|
||||
x.foo(&x);
|
||||
|
||||
unsafe { assert!(COUNT == 2u*3*3*3*5*5*5*7*7*7); }
|
||||
}
|
Loading…
Reference in New Issue