Last active
August 29, 2015 14:12
-
-
Save jroesch/20a54ab6934fad20f8c6 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 53971 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 53971 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 53971 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, cmp::PartialEq)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, cmp::PartialEq) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 31777 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 31746 }, +Binder(TraitRef(Self, cmp::PartialEq<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialEq<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54118 }, Sized+Binder(TraitRef(T, cmp::PartialEq)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, cmp::PartialEq)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, cmp::PartialEq) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 31777 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 31746 }, +Binder(TraitRef(Self, cmp::PartialEq<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialEq<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54118 }, Sized+Binder(TraitRef(T, cmp::PartialEq)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) trait_to_skol_substs=Substs[types=[[option::Option<T>];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>, &option::Option<T>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, clone::Clone)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, clone::Clone) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36088 }, +Binder(TraitRef(Self, clone::Clone)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, clone::Clone)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54167 }, Sized+Binder(TraitRef(T, clone::Clone)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Option<T>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, slice::AsSlice<T>)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, slice::AsSlice<T>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[T];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 62400 }, Sized, TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 62386 }, +Binder(TraitRef(Self, slice::AsSlice<T>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::AsSlice<T>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54866 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[T];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Option<T>) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a option::Option<T>) -> &'a [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<T>, default::Default)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<T>, default::Default) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Option<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36847 }, +Binder(TraitRef(Self, default::Default)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, default::Default)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54882 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Option<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn() -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn() -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Item<A>, clone::Clone)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Item<A>, clone::Clone) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36088 }, +Binder(TraitRef(Self, clone::Clone)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, clone::Clone)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54920 }, Sized+Binder(TraitRef(A, clone::Clone)), TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(A, clone::Clone)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(A, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(A, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Item<A>) -> option::Item<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Item<A>) -> option::Item<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Item<A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Item<A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54974 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::Item<A>) -> option::Option<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::Item<A>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Item<A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Item<A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54974 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Item<A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Item<A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Item<A>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Item<A>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 54995 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Item<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::Item<A>) -> option::Option<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::Item<A>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Iter<'a, A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Iter<'a, A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55059 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55060 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55038, BrNamed(DefId { krate: 0, node: 55060 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::Iter<'a, A>) -> option::Option<&'a A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::Iter<'a, A>) -> option::Option<&_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Iter<'a, A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Iter<'a, A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55059 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55060 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55054, BrNamed(DefId { krate: 0, node: 55060 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Iter<'a, A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Iter<'a, A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Iter<'a, A>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Iter<'a, A>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55084 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55085 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55079, BrNamed(DefId { krate: 0, node: 55085 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::Iter<'a, A>) -> option::Option<&'a A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::Iter<'a, A>) -> option::Option<&_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Iter<'a, A>, clone::Clone)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Iter<'a, A>, clone::Clone) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36088 }, +Binder(TraitRef(Self, clone::Clone)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, clone::Clone)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55119 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55120 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Iter<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55113, BrNamed(DefId { krate: 0, node: 55120 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::Iter<'a, A>) -> option::Iter<'a, A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::Iter<'a, A>) -> option::Iter<'a, A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IterMut<'a, A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IterMut<'a, A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55177 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55178 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55156, BrNamed(DefId { krate: 0, node: 55178 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::IterMut<'a, A>) -> option::Option<&'a mut A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::IterMut<'a, A>) -> option::Option<&mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IterMut<'a, A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IterMut<'a, A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55177 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55178 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55172, BrNamed(DefId { krate: 0, node: 55178 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::IterMut<'a, A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::IterMut<'a, A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IterMut<'a, A>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IterMut<'a, A>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55202 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 55203 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IterMut<'a, A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[ReFree(55197, BrNamed(DefId { krate: 0, node: 55203 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::IterMut<'a, A>) -> option::Option<&'a mut A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::IterMut<'a, A>) -> option::Option<&mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IntoIter<A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IntoIter<A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55262 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::IntoIter<A>) -> option::Option<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::IntoIter<A>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IntoIter<A>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IntoIter<A>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55262 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&option::IntoIter<A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&option::IntoIter<A>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::IntoIter<A>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::IntoIter<A>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55283 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::IntoIter<A>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::IntoIter<A>) -> option::Option<A> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::IntoIter<A>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<V>, iter::FromIterator<option::Option<A>>)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<V>, iter::FromIterator<option::Option<A>>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[option::Option<A>];[option::Option<V>];[I]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 42387 }, Sized, TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 42373 }, +Binder(TraitRef(Self, iter::FromIterator<A>)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 42381 }, Sized+Binder(TraitRef(T, iter::Iterator)), FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::FromIterator<A>)))];[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, iter::Iterator))), Binder(ProjectionPredicate(<T as TraitRef(T, iter::Iterator)>::Item, A))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55407 }, Sized, TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55408 }, Sized+Binder(TraitRef(V, iter::FromIterator<A>)), TypeSpace/1)];[];[TypeParameterDef(DefId { krate: 0, node: 55299 }, Sized+Binder(TraitRef(I, iter::Iterator)), FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, option::Option<A>))]]) trait_to_skol_substs=Substs[types=[[option::Option<A>];[option::Option<V>];[I]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A, V];[];[I]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, option::Option<A>))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, option::Option<A>))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(I) -> option::Option<V> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(I) -> option::Option<V> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55364 }, Sized, TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55365 }, Sized+Binder(TraitRef(Iter, iter::Iterator)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, option::Option<T>))];[];[]]) trait_to_skol_substs=Substs[types=[[];[option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, Iter];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, option::Option<T>))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, option::Option<T>))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut option::Option<V>.FromIterator<Option<A>>::from_iter::Adapter<Iter>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, hash::Hash<__S>)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, hash::Hash<__S>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[__S];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 75936 }, Sized, TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 75923 }, +Binder(TraitRef(Self, hash::Hash<S>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(S, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, hash::Hash<S>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55589 }, Sized+Binder(TraitRef(__S, hash::Writer)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55591 }, Sized+Binder(TraitRef(T, hash::Hash<__S>)), TypeSpace/1), TypeParameterDef(DefId { krate: 0, node: 55595 }, Sized+Binder(TraitRef(E, hash::Hash<__S>)), TypeSpace/2)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(__S, kinds::Sized))), Binder(TraitPredicate(TraitRef(__S, hash::Writer))), Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, hash::Hash<__S>))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, hash::Hash<__S>)))];[];[]]) trait_to_skol_substs=Substs[types=[[__S];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[__S, T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(__S, kinds::Sized))), Binder(TraitPredicate(TraitRef(__S, hash::Writer))), Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, hash::Hash<__S>))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, hash::Hash<__S>)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(__S, kinds::Sized))), Binder(TraitPredicate(TraitRef(__S, hash::Writer))), Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, hash::Hash<__S>))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, hash::Hash<__S>)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &mut __S) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &mut __S) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55702 }, Sized+Binder(TraitRef(T, fmt::Show)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55704 }, Sized+Binder(TraitRef(E, fmt::Show)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, fmt::Show))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, fmt::Show)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, fmt::Show))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, fmt::Show)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, fmt::Show))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, fmt::Show)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::Ord)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::Ord) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 32107 }, +Binder(TraitRef(Self, cmp::Ord)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::Ord)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55829 }, Sized+Binder(TraitRef(T, cmp::Ord)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55831 }, Sized+Binder(TraitRef(E, cmp::Ord)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Ord))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Ord)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Ord))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Ord)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Ord))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Ord)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> cmp::Ordering | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> cmp::Ordering | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::Eq)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::Eq) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 31782 }, +Binder(TraitRef(Self, cmp::Eq)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::Eq)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 55876 }, Sized+Binder(TraitRef(T, cmp::Eq)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 55878 }, Sized+Binder(TraitRef(E, cmp::Eq)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Eq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Eq)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Eq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Eq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::Eq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::Eq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56421 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56423 }, Sized+Binder(TraitRef(E, cmp::PartialOrd)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> option::Option<cmp::Ordering> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> option::Option<cmp::Ordering> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56421 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56423 }, Sized+Binder(TraitRef(E, cmp::PartialOrd)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56421 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56423 }, Sized+Binder(TraitRef(E, cmp::PartialOrd)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56421 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56423 }, Sized+Binder(TraitRef(E, cmp::PartialOrd)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialOrd)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialOrd) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 32308 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 32197 }, +Binder(TraitRef(Self, cmp::PartialOrd<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialOrd<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56421 }, Sized+Binder(TraitRef(T, cmp::PartialOrd)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56423 }, Sized+Binder(TraitRef(E, cmp::PartialOrd)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialOrd))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialOrd)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialEq)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialEq) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 31777 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 31746 }, +Binder(TraitRef(Self, cmp::PartialEq<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialEq<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56596 }, Sized+Binder(TraitRef(T, cmp::PartialEq)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56598 }, Sized+Binder(TraitRef(E, cmp::PartialEq)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, cmp::PartialEq)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, cmp::PartialEq) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 31777 }, , TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 31746 }, +Binder(TraitRef(Self, cmp::PartialEq<Rhs>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, cmp::PartialEq<Rhs>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56596 }, Sized+Binder(TraitRef(T, cmp::PartialEq)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56598 }, Sized+Binder(TraitRef(E, cmp::PartialEq)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) trait_to_skol_substs=Substs[types=[[result::Result<T, E>];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, cmp::PartialEq))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, cmp::PartialEq)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>, &result::Result<T, E>) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, clone::Clone)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, clone::Clone) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36088 }, +Binder(TraitRef(Self, clone::Clone)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, clone::Clone)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 56663 }, Sized+Binder(TraitRef(T, clone::Clone)), TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 56665 }, Sized+Binder(TraitRef(E, clone::Clone)), TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, clone::Clone)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, clone::Clone))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, clone::Clone)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>) -> result::Result<T, E> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Result<T, E>) -> result::Result<T, E> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<T, E>, slice::AsSlice<T>)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<T, E>, slice::AsSlice<T>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[T];[result::Result<T, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 62400 }, Sized, TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 62386 }, +Binder(TraitRef(Self, slice::AsSlice<T>)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::AsSlice<T>)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57321 }, Sized, TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 57322 }, Sized, TypeSpace/1)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[T];[result::Result<T, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Result<T, E>) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a result::Result<T, E>) -> &'a [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Iter<'a, T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Iter<'a, T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57394 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57395 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57359, BrNamed(DefId { krate: 0, node: 57395 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::Iter<'a, T>) -> option::Option<&'a T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::Iter<'a, T>) -> option::Option<&_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Iter<'a, T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Iter<'a, T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57394 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57395 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57375, BrNamed(DefId { krate: 0, node: 57395 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Iter<'a, T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Iter<'a, T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Iter<'a, T>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Iter<'a, T>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57419 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57420 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57414, BrNamed(DefId { krate: 0, node: 57420 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::Iter<'a, T>) -> option::Option<&'a T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::Iter<'a, T>) -> option::Option<&_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Iter<'a, T>, clone::Clone)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Iter<'a, T>, clone::Clone) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 36088 }, +Binder(TraitRef(Self, clone::Clone)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, clone::Clone)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57453 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57454 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Iter<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57448, BrNamed(DefId { krate: 0, node: 57454 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::Iter<'a, T>) -> result::Iter<'a, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::Iter<'a, T>) -> result::Iter<'a, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IterMut<'a, T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IterMut<'a, T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57525 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57526 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57490, BrNamed(DefId { krate: 0, node: 57526 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::IterMut<'a, T>) -> option::Option<&'a mut T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::IterMut<'a, T>) -> option::Option<&mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IterMut<'a, T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IterMut<'a, T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57525 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57526 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57506, BrNamed(DefId { krate: 0, node: 57526 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::IterMut<'a, T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::IterMut<'a, T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IterMut<'a, T>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IterMut<'a, T>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57550 }, Sized, TypeSpace/0)];[];[]], regions: [[RegionParameterDef(name='a, def_id=DefId { krate: 0, node: 57551 }, bounds=[])];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IterMut<'a, T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[ReFree(57545, BrNamed(DefId { krate: 0, node: 57551 }, 'a))];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::IterMut<'a, T>) -> option::Option<&'a mut T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::IterMut<'a, T>) -> option::Option<&mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IntoIter<T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IntoIter<T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57624 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::IntoIter<T>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::IntoIter<T>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IntoIter<T>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IntoIter<T>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57624 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&result::IntoIter<T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&result::IntoIter<T>) -> (uint, option::Option<uint>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::IntoIter<T>, iter::DoubleEndedIterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::IntoIter<T>, iter::DoubleEndedIterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 43625 }, +Binder(TraitRef(Self, iter::DoubleEndedIterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, iter::DoubleEndedIterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57645 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::IntoIter<T>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::IntoIter<T>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::IntoIter<T>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<V, E>, iter::FromIterator<result::Result<A, E>>)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<V, E>, iter::FromIterator<result::Result<A, E>>) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[result::Result<A, E>];[result::Result<V, E>];[I]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 42387 }, Sized, TypeSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 42373 }, +Binder(TraitRef(Self, iter::FromIterator<A>)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 42381 }, Sized+Binder(TraitRef(T, iter::Iterator)), FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::FromIterator<A>)))];[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(T, iter::Iterator))), Binder(ProjectionPredicate(<T as TraitRef(T, iter::Iterator)>::Item, A))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57788 }, Sized, TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 57789 }, Sized, TypeSpace/1), TypeParameterDef(DefId { krate: 0, node: 57790 }, Sized+Binder(TraitRef(V, iter::FromIterator<A>)), TypeSpace/2)];[];[TypeParameterDef(DefId { krate: 0, node: 57661 }, Sized+Binder(TraitRef(I, iter::Iterator)), FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, result::Result<A, E>))]]) trait_to_skol_substs=Substs[types=[[result::Result<A, E>];[result::Result<V, E>];[I]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[A, E, V];[];[I]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, result::Result<A, E>))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(A, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, kinds::Sized))), Binder(TraitPredicate(TraitRef(V, iter::FromIterator<A>)))];[];[Binder(TraitPredicate(TraitRef(I, kinds::Sized))), Binder(TraitPredicate(TraitRef(I, iter::Iterator))), Binder(ProjectionPredicate(<I as TraitRef(I, iter::Iterator)>::Item, result::Result<A, E>))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(I) -> result::Result<V, E> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(I) -> result::Result<V, E> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>, iter::Iterator)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>, iter::Iterator) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 42345 }, +Binder(TraitRef(Self, iter::Iterator)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as iter::Iterator>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, iter::Iterator)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 57736 }, Sized, TypeSpace/0), TypeParameterDef(DefId { krate: 0, node: 57737 }, Sized, TypeSpace/1), TypeParameterDef(DefId { krate: 0, node: 57738 }, Sized+Binder(TraitRef(Iter, iter::Iterator)), TypeSpace/2)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, result::Result<T, E>))];[];[]]) trait_to_skol_substs=Substs[types=[[];[result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T, E, Iter];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, result::Result<T, E>))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized))), Binder(TraitPredicate(TraitRef(E, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, kinds::Sized))), Binder(TraitPredicate(TraitRef(Iter, iter::Iterator))), Binder(ProjectionPredicate(<Iter as TraitRef(Iter, iter::Iterator)>::Item, result::Result<T, E>))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>) -> option::Option<T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut result::Result<V, E>.FromIterator<Result<A, E>>::from_iter::Adapter<Iter, E>) -> option::Option<_> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::i8x16, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::i8x16, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::i8x16];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::i8x16];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::i8x16, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::i8x16, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::i16x8, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::i16x8, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::i16x8];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::i16x8];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::i16x8, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::i16x8, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::i32x4, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::i32x4, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::i32x4];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::i32x4];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::i32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::i32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::i64x2, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::i64x2, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::i64x2];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::i64x2];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::i64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::i64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::u8x16, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::u8x16, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::u8x16];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::u8x16];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::u8x16, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::u8x16, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::u16x8, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::u16x8, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::u16x8];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::u16x8];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::u16x8, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::u16x8, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::u32x4, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::u32x4, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::u32x4];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::u32x4];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::u32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::u32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::u64x2, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::u64x2, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::u64x2];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::u64x2];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::u64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::u64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::f32x4, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::f32x4, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::f32x4];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::f32x4];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::f32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::f32x4, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef(simd::f64x2, fmt::Show)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef(simd::f64x2, fmt::Show) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[simd::f64x2];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 82827 }, +Binder(TraitRef(Self, fmt::Show)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[];[Binder(TraitPredicate(TraitRef(Self, fmt::Show)))];[]]) impl_generics=Generics(types: [[];[];[]], regions: [[];[];[]], predicates: [[];[];[]]) trait_to_skol_substs=Substs[types=[[];[simd::f64x2];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&simd::f64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&simd::f64x2, &mut fmt::Formatter<'_>) -> result::Result<(), fmt::Error> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint, uint) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint, uint) -> &'a [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> &'a [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> &'a [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> (&[T], &[T]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> (&'a [_], &'a [_]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> slice::Iter<'_, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T]) -> slice::Iter<'a, _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59473 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 60378 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], P) -> slice::Split<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], P) -> slice::Split<'a, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59504 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 60410 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint, P) -> slice::SplitN<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint, P) -> slice::SplitN<'a, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59535 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 60449 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint, P) -> slice::RSplitN<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint, P) -> slice::RSplitN<'a, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> slice::Windows<'_, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> slice::Windows<'a, _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> slice::Chunks<'_, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> slice::Chunks<'a, _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], uint) -> option::Option<&T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T], uint) -> option::Option<&'a _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> option::Option<&T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T]) -> option::Option<&'a _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T]) -> &'a [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> &[T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T]) -> &'a [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> option::Option<&T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a [T]) -> option::Option<&'a _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=unsafe fn(&[T], uint) -> &T | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=unsafe fn(&'a [T], uint) -> &'a _ | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> *const T | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T]) -> *const _ | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[F]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59683 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(F, kinds::Sized))), Binder(TraitPredicate(TraitRef(F, ops::FnMut(&<Self as slice::SliceExt>::Item) -> cmp::Ordering)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 60733 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(F, kinds::Sized))), Binder(TraitPredicate(TraitRef(F, ops::FnMut(&T) -> cmp::Ordering)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[F]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[F]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(F, kinds::Sized))), Binder(TraitPredicate(TraitRef(F, ops::FnMut(&T) -> cmp::Ordering)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(F, kinds::Sized))), Binder(TraitPredicate(TraitRef(F, ops::FnMut(&_) -> cmp::Ordering)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], F) -> result::Result<uint, uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], F) -> result::Result<uint, uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T]) -> uint | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T]) -> uint | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint) -> option::Option<&mut T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint) -> option::Option<&'a mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint, uint) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint, uint) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint) -> (&mut [T], &mut [T]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint) -> (&'a mut [_], &'a mut [_]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> slice::IterMut<'_, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> slice::IterMut<'a, _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> option::Option<&mut T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> option::Option<&'a mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> option::Option<&mut T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> option::Option<&'a mut _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> &mut [T] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T]) -> &'a mut [_] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59870 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 61128 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], P) -> slice::SplitMut<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], P) -> slice::SplitMut<'a, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59900 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 61160 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint, P) -> slice::SplitNMut<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T], uint, P) -> slice::SplitNMut<'_, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[TypeParameterDef(DefId { krate: 0, node: 59928 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&<Self as slice::SliceExt>::Item) -> bool)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[TypeParameterDef(DefId { krate: 0, node: 61199 }, Sized, FnSpace/0)]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[P]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[P]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&T) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(P, kinds::Sized))), Binder(TraitPredicate(TraitRef(P, ops::FnMut(&_) -> bool)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint, P) -> slice::RSplitNMut<'_, T, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T], uint, P) -> slice::RSplitNMut<'_, _, P> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint) -> slice::ChunksMut<'_, T> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a mut [T], uint) -> slice::ChunksMut<'a, _> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], uint, uint) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T], uint, uint) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=unsafe fn(&mut [T], uint) -> &mut T | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=unsafe fn(&'a mut [T], uint) -> &'a mut _ | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> *mut T | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T]) -> *mut _ | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::PartialEq)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::PartialEq<_>)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &T) -> option::Option<uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &_) -> option::Option<uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::PartialEq)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::PartialEq<_>)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &T) -> option::Option<uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &_) -> option::Option<uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::PartialEq)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::PartialEq<_>)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &T) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &_) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::PartialEq)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::PartialEq<_>)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &[T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &[_]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::PartialEq)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::PartialEq)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::PartialEq<_>)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &[T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &[_]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::Ord)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&[T], &T) -> result::Result<uint, uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&[T], &_) -> result::Result<uint, uint> | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::Ord)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, cmp::Ord)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, cmp::Ord)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T]) -> bool | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef([T], slice::SliceExt)) | |
| DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef([T], slice::SliceExt) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: check_region_bounds_on_impl_method: trait_generics=Generics(types: [[];[TypeParameterDef(DefId { krate: 0, node: 59369 }, +Binder(TraitRef(Self, slice::SliceExt)), SelfSpace/0)];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, kinds::Sized)))];[Binder(TraitPredicate(TraitRef(Self, slice::SliceExt)))];[Binder(TraitPredicate(TraitRef(<Self as slice::SliceExt>::Item, clone::Clone)))]]) impl_generics=Generics(types: [[TypeParameterDef(DefId { krate: 0, node: 61879 }, Sized, TypeSpace/0)];[];[]], regions: [[];[];[]], predicates: [[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, clone::Clone)))]]) trait_to_skol_substs=Substs[types=[[];[[T]];[]], regions=[[];[];[]]] impl_to_skol_substs=Substs[types=[[T];[];[]], regions=[[];[];[]]] | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(T, clone::Clone)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[Binder(TraitPredicate(TraitRef(T, kinds::Sized)))];[];[Binder(TraitPredicate(TraitRef(_, clone::Clone)))]]) | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&mut [T], &[T]) -> uint | |
| DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&mut [T], &[_]) -> uint | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:523:5: 531:6 error: internal compiler error: coherence failed to report ambiguity: cannot locate the impl of the trait `kinds::Sized` for the type `T` | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:523 fn clone_from_slice(&mut self, src: &[T]) -> uint where T: Clone { | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:524 let min = cmp::min(self.len(), src.len()); | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:525 let dst = self.slice_to_mut(min); | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:526 let src = src.slice_to(min); | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:527 for i in range(0, min) { | |
| /Users/jroesch/Git/rust/src/libcore/slice.rs:528 dst[i].clone_from(&src[i]); |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment