rust/src/test/run-pass/static-impl.rs
Niko Matsakis 9e3d0b002a librustc: Remove the fallback to int from typechecking.
This breaks a fair amount of code. The typical patterns are:

* `for _ in range(0, 10)`: change to `for _ in range(0u, 10)`;

* `println!("{}", 3)`: change to `println!("{}", 3i)`;

* `[1, 2, 3].len()`: change to `[1i, 2, 3].len()`.

RFC #30. Closes #6023.

[breaking-change]
2014-06-24 17:18:48 -07:00

73 lines
1.8 KiB
Rust

// Copyright 2012-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.
pub trait plus {
fn plus(&self) -> int;
}
mod a {
use plus;
impl plus for uint { fn plus(&self) -> int { *self as int + 20 } }
}
mod b {
use plus;
impl plus for String { fn plus(&self) -> int { 200 } }
}
trait uint_utils {
fn str(&self) -> String;
fn multi(&self, f: |uint|);
}
impl uint_utils for uint {
fn str(&self) -> String {
self.to_str()
}
fn multi(&self, f: |uint|) {
let mut c = 0u;
while c < *self { f(c); c += 1u; }
}
}
trait vec_utils<T> {
fn length_(&self, ) -> uint;
fn iter_(&self, f: |&T|);
fn map_<U>(&self, f: |&T| -> U) -> Vec<U> ;
}
impl<T> vec_utils<T> for Vec<T> {
fn length_(&self) -> uint { self.len() }
fn iter_(&self, f: |&T|) { for x in self.iter() { f(x); } }
fn map_<U>(&self, f: |&T| -> U) -> Vec<U> {
let mut r = Vec::new();
for elt in self.iter() {
r.push(f(elt));
}
r
}
}
pub fn main() {
assert_eq!(10u.plus(), 30);
assert_eq!(("hi".to_string()).plus(), 200);
assert_eq!((vec!(1i)).length_().str(), "1".to_string());
let vect = vec!(3i, 4).map_(|a| *a + 4);
assert_eq!(*vect.get(0), 7);
let vect = (vec!(3i, 4)).map_::<uint>(|a| *a as uint + 4u);
assert_eq!(*vect.get(0), 7u);
let mut x = 0u;
10u.multi(|_n| x += 2u );
assert_eq!(x, 20u);
}