// -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); check (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](&T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); check (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](&T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](&T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); check (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](&T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](&T x) -> T { ret x; } fn main() { let int x = 42; let int y = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id[T](x: &T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T>(x: &T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<@T>(x: &T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<@T>(x: T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T>(x: T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<copy T>(x: T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T: copy>(x: T) -> T { ret x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T: copy>(x: T) -> T { return x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T: Copy>(x: T) -> T { return x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T: Copy>(x: T) -> T { return x; } fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T: Copy>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T:Copy>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert (x == y); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T:Copy>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); fail_unless!((x == y)); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T:Copy>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert!((x == y)); } // Copyright 2012 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. // -*- rust -*- // Issue #45: infer type parameters in function applications fn id<T>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert!((x == y)); } // Copyright 2012 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. // Issue #45: infer type parameters in function applications fn id<T>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert!((x == y)); } // Copyright 2012 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. // Issue #45: infer type parameters in function applications // pretty-expanded FIXME #23616 fn id<T>(x: T) -> T { return x; } pub fn main() { let x: int = 42; let y: int = id(x); assert!((x == y)); } // Copyright 2012 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. // Issue #45: infer type parameters in function applications // pretty-expanded FIXME #23616 fn id<T>(x: T) -> T { return x; } pub fn main() { let x: isize = 42; let y: isize = id(x); assert!((x == y)); } // Copyright 2012 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. // Issue #45: infer type parameters in function applications fn id<T>(x: T) -> T { return x; } pub fn main() { let x: isize = 42; let y: isize = id(x); assert!((x == y)); }