Skip to content

Instantly share code, notes, and snippets.

@lcnr

lcnr/example-output Secret

Created May 21, 2024 18:25
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save lcnr/bb4360ddbc5cd4631f2fbc569057e5eb to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save lcnr/bb4360ddbc5cd4631f2fbc569057e5eb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
example-output
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(Self/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as Trait<T, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(*const T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(*const ^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(*const T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(*const ^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as IncompleteGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<Self as IncompleteGuidance<T, V>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as IncompleteGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(Self/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as IncompleteGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as IncompleteGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as IncompleteGuidance<U, u8>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_2 as IncompleteGuidance<^1_0, u8>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:18 ~ main[04b0]::{impl#0}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(!0, '?0), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(?1t, 'static), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(^1_0, '^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, '^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, '^2), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:18 ~ main[04b0]::{impl#0})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:18 ~ main[04b0]::{impl#0})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as IncompleteGuidance<U, i8>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_2 as IncompleteGuidance<^1_0, i8>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:21 ~ main[04b0]::{impl#1}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(!0, '?0), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(?1t, 'static), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(^1_0, '^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, '^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, '^2), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:21 ~ main[04b0]::{impl#1})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:21 ~ main[04b0]::{impl#1})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(i8), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(i8), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as IncompleteGuidance<U, i16>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_2 as IncompleteGuidance<^1_0, i16>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:24 ~ main[04b0]::{impl#2}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(!0, '?0), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(?1t, 'static), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: OutlivesPredicate(^1_0, '^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, '^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, '^2), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:24 ~ main[04b0]::{impl#2})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:24 ~ main[04b0]::{impl#2})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [(OutlivesPredicate(^0, 'static), BoringNoLocation)], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(U/#1, 'static), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(i16), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: OutlivesPredicate(^1_0, '^1_1), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(i16), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U1, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, '^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: Region(U0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ImplGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<Self as ImplGuidance<T, V>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ImplGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(Self/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ImplGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ImplGuidance<T, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as ImplGuidance<u32, u8>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ImplGuidance<u32, u8>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:30 ~ main[04b0]::{impl#3}))
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:30 ~ main[04b0]::{impl#3})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:30 ~ main[04b0]::{impl#3})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u32), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u32), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as ImplGuidance<i32, i8>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ImplGuidance<i32, i8>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:32 ~ main[04b0]::{impl#4}))
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:32 ~ main[04b0]::{impl#4})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:32 ~ main[04b0]::{impl#4})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(i32), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(i32), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(i8), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(i8), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:34 ~ main[04b0]::{impl#5}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<_ as IncompleteGuidance<_, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<_>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(3)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(3), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(3)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(3), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(3), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:34 ~ main[04b0]::{impl#5}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<_ as IncompleteGuidance<_, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<_>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(3)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(3)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[]
0ms DEBUG rustc_trait_selection::solve::assembly return=Err(NoSolution)
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Err(NoSolution)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(2), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(2), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(2), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:42 ~ main[04b0]::{impl#7}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<_ as ImplGuidance<_, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<!0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<!1> as Trait<!2, !3, !0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<!1> as Trait<!2, !0, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!1 as IncompleteGuidance<!2, !3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_1 as ImplGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[]
0ms DEBUG rustc_trait_selection::solve::assembly return=Err(NoSolution)
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Err(NoSolution)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:34 ~ main[04b0]::{impl#5})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(2)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:34 ~ main[04b0]::{impl#5})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
2ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<T/#0>), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<^1_1>), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<T/#0>), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<^1_1>), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(B<T/#0>), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(B<^1_1>), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<T> as Trait<U, D, V>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as IncompleteGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<() as ToU8<^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<B<^1_1> as Trait<^1_2, ^1_3, ^1_0>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<A<^1_1> as Trait<^1_2, ^1_0, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_1 as IncompleteGuidance<^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ToU8<T>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<Self as ToU8<T>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ToU8<^1_1>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ToU8<^1_1>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ToU8<T>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(Self/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ToU8<^1_1>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<Self as ToU8<T>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as ToU8<^1_1>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<u8>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<u8>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:41 ~ main[04b0]::{impl#6}))
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:41 ~ main[04b0]::{impl#6})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] } }]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:41 ~ main[04b0]::{impl#6})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: WellFormed(u8), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:42 ~ main[04b0]::{impl#7}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<_ as ImplGuidance<_, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(1)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(1), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::eval_ctxt::probe::enter source=Impl(DefId(0:34 ~ main[04b0]::{impl#5}))
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<_ as IncompleteGuidance<_, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<B<_> as Trait<_, _, _>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::add_goal source=ImplWhereBound, goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<!0> as Trait<!1, !2, !3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<!0 as ImplGuidance<!1, !2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<() as ToU8<_>>, polarity:Positive), bound_vars: [] } }
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[]
rustc_trait_selection::solve::assembly::merge_candidates candidates=[]
0ms DEBUG rustc_trait_selection::solve::assembly return=Err(NoSolution)
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Err(NoSolution)
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: ParamEnv(0), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::discard_impls_shadowed_by_env candidates=[Candidate { source: Impl(DefId(0:42 ~ main[04b0]::{impl#7})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
rustc_trait_selection::solve::eval_ctxt::probe::enter source=ParamEnv(0)
rustc_trait_selection::solve::assembly::merge_candidates candidates=[Candidate { source: Impl(DefId(0:42 ~ main[04b0]::{impl#7})), result: Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] } }]
0ms DEBUG rustc_trait_selection::solve::assembly return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
1ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(B<T/#0>), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(B<^1_0>), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<T/#0>), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(A<^1_0>), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<T> as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<T as ImplGuidance<U, V>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<A<^1_0> as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as ImplGuidance<^1_1, ^1_2>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(T/#0), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_0), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(U/#1), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_1), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(V/#2), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_2), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<T as Trait<U, V, D>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(D/#3), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as Trait<^1_1, ^1_2, ^1_3>>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(^1_3), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] }
0ms DEBUG rustc_trait_selection::solve::search_graph global cache hit
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0, ^1, ^2, ^3] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }, CanonicalVarInfo { kind: PlaceholderTy(!1) }, CanonicalVarInfo { kind: PlaceholderTy(!2) }, CanonicalVarInfo { kind: PlaceholderTy(!3) }] })
rustc_trait_selection::solve::eval_ctxt::evaluate_root_goal goal=Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<X as IncompleteGuidance<u32, i16>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<X as IncompleteGuidance<u32, i8>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<X as IncompleteGuidance<i32, u8>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<X as std::marker::Sized>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, generate_proof_tree=IfEnabled
rustc_trait_selection::solve::eval_ctxt::evaluate_canonical_goal canonical_input=Canonical { value: QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<u32, i16>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<u32, i8>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as IncompleteGuidance<i32, u8>>, polarity:Positive), bound_vars: [] }, Binder { value: TraitPredicate(<^1_0 as std::marker::Sized>, polarity:Positive), bound_vars: [] }], reveal: UserFacing }, predicate: Binder { value: WellFormed(()), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] }
0ms DEBUG rustc_trait_selection::solve::eval_ctxt return=Ok(Canonical { value: Response { certainty: Yes, var_values: CanonicalVarValues { var_values: [^0] }, external_constraints: ExternalConstraints(ExternalConstraintsData { region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, opaque_types: [], normalization_nested_goals: NestedNormalizationGoals([]) }) }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: PlaceholderTy(!0) }] })
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment