Skip to content

Instantly share code, notes, and snippets.

@durka
Created October 13, 2017 20:47
Show Gist options
  • Save durka/67b7cadc0c7469681e321b0c93636e66 to your computer and use it in GitHub Desktop.
Save durka/67b7cadc0c7469681e321b0c93636e66 to your computer and use it in GitHub Desktop.
DEBUG:rustc_typeck::collect: explicit_predicates_of(def_id=DefId { krate: CrateNum(0), node: DefIndex(0:14) => trait_alias/8cd878b::CD[0] })
DEBUG:rustc_typeck::collect: explicit_predicates_of: is_trait=Some((<Self as CD>, None))
DEBUG:rustc_typeck::collect: explicit_predicates_of: 5 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Defa
ult>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 10 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Def
ault>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 20 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Def
ault>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 30 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Def
ault>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 40 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Def
ault>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 50 predicates=[Binder(TraitPredicate(<Self as std::clone::Clone>)), Binder(TraitPredicate(<Self as std::default::Def
ault>))]
DEBUG:rustc_typeck::collect: convert: item foo with id 73
DEBUG:rustc_typeck::collect: explicit_predicates_of(def_id=DefId { krate: CrateNum(0), node: DefIndex(0:15) => trait_alias/8cd878b::foo[0] })
DEBUG:rustc_typeck::collect: explicit_predicates_of: is_trait=None
DEBUG:rustc_typeck::collect: explicit_predicates_of: 10 predicates=[]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 20 predicates=[]
DEBUG:rustc_typeck::astconv: ast_path_to_poly_trait_ref(TraitRef { path: path(CD), ref_id: NodeId(75) }, def_id=DefId { krate: CrateNum(0), node: DefIndex(0:14) => trait
_alias/8cd878b::CD[0] })
DEBUG:rustc_typeck::astconv: create_substs_for_ast_trait_ref(trait_segment=PathSegment { name: CD(104), parameters: None, infer_types: false })
DEBUG:rustc_typeck::astconv: create_substs_for_ast_path(def_id=DefId { krate: CrateNum(0), node: DefIndex(0:14) => trait_alias/8cd878b::CD[0] }, self_ty=Some(T), paramet
ers=PathParameters { lifetimes: [], types: [], bindings: [], parenthesized: false })
DEBUG:rustc_typeck::astconv: create_substs_for_ast_path(decl_generics=Generics { parent: None, parent_regions: 0, parent_types: 0, regions: [], types: [TypeParameterDef(
Self, DefId { krate: CrateNum(0), node: DefIndex(0:14) => trait_alias/8cd878b::CD[0] }, 0)], type_param_to_index: {DefIndex(0:14): 0}, has_self: true, has_late_bound_reg
ions: None }, self_ty=Some(T)) -> Slice([T])
DEBUG:rustc_typeck::astconv: ast_path_to_poly_trait_ref(TraitRef { path: path(CD), ref_id: NodeId(75) }, projections=[]) -> Binder(<T as CD>)
DEBUG:rustc_typeck::collect: explicit_predicates_of: 30 predicates=[Binder(TraitPredicate(<T as std::marker::Sized>)), Binder(TraitPredicate(<T as CD>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 40 predicates=[Binder(TraitPredicate(<T as std::marker::Sized>)), Binder(TraitPredicate(<T as CD>))]
DEBUG:rustc_typeck::collect: explicit_predicates_of: 50 predicates=[Binder(TraitPredicate(<T as std::marker::Sized>)), Binder(TraitPredicate(<T as CD>))]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment