fn ty_infer(&self, ty_param_def: Option<ty::TypeParameterDef<'tcx>>, span: Span) -> Ty<'tcx> {
let default = ty_param_def.and_then(|t|
- t.default.map(|ty| type_variable::Default { ty: ty, origin_span: span, definition_span: span }));
+ t.default.map(|ty| type_variable::Default {
+ ty: ty,
+ origin_span: span,
+ definition_span: span
+ }));
self.infcx().next_ty_var_with_default(default)
}
--- /dev/null
+// Copyright 2015 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.
+//
+use std::marker::PhantomData;
+
+trait Id {
+ type This;
+}
+
+impl<A> Id for A {
+ type This = A;
+}
+
+struct Foo<X: Default = usize, Y = <X as Id>::This> {
+ data: PhantomData<(X, Y)>
+}
+
+impl<X: Default, Y> Foo<X, Y> {
+ fn new() -> Foo<X, Y> {
+ Foo { data: PhantomData }
+ }
+}
+
+fn main() {
+ let foo = Foo::new();
+}
--- /dev/null
+// Copyright 2015 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.
+//
+
+use std::marker::PhantomData;
+
+struct Foo<T,U=T> { data: PhantomData<(T, U)> }
+
+fn main() {
+ let foo = Foo { data: PhantomData };
+}
--- /dev/null
+// Copyright 2015 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.
+//
+
+use std::marker::PhantomData;
+
+struct DeterministicHasher;
+struct RandomHasher;
+
+
+struct MyHashMap<K, V, H=DeterministicHasher> {
+ data: PhantomData<(K, V, H)>
+}
+
+impl<K, V, H> MyHashMap<K, V, H> {
+ fn new() -> MyHashMap<K, V, H> {
+ MyHashMap { data: PhantomData }
+ }
+}
+
+mod mystd {
+ use super::{MyHashMap, RandomHasher};
+ pub type HashMap<K, V, H=RandomHasher> = MyHashMap<K, V, H>;
+}
+
+fn try_me<H>(hash_map: mystd::HashMap<i32, i32, H>) {}
+
+fn main() {
+ let hash_map = mystd::HashMap::new();
+ try_me(hash_map);
+}
+++ /dev/null
-use std::marker::PhantomData;
-
-trait Id {
- type This;
-}
-
-impl<A> Id for A {
- type This = A;
-}
-
-struct Foo<X: Default = usize, Y = <X as Id>::This> {
- data: PhantomData<(X, Y)>
-}
-
-impl<X: Default, Y> Foo<X, Y> {
- fn new() -> Foo<X, Y> {
- Foo { data: PhantomData }
- }
-}
-
-fn main() {
- let foo = Foo::new();
-}
+++ /dev/null
-use std::marker::PhantomData;
-
-struct Foo<T,U=T> { data: PhantomData<(T, U)> }
-
-fn main() {
- let foo = Foo { data: PhantomData };
-}
+++ /dev/null
-use std::marker::PhantomData;
-
-trait TypeEq<A> {}
-impl<A> TypeEq<A> for A {}
-
-struct DeterministicHasher;
-struct RandomHasher;
-
-
-struct MyHashMap<K, V, H=DeterministicHasher> {
- data: PhantomData<(K, V, H)>
-}
-
-impl<K, V, H> MyHashMap<K, V, H> {
- fn new() -> MyHashMap<K, V, H> {
- MyHashMap { data: PhantomData }
- }
-}
-
-mod mystd {
- use super::{MyHashMap, RandomHasher};
- pub type HashMap<K, V, H=RandomHasher> = MyHashMap<K, V, H>;
-}
-
-fn try_me<H>(hash_map: mystd::HashMap<i32, i32, H>) {}
-
-fn main() {
- let hash_map = mystd::HashMap::new();
- try_me(hash_map);
-}