diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-10-01 22:14:59 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-01 22:14:59 +1000 |
| commit | 870657c08e31404e8dee2ca10174a2558e31e829 (patch) | |
| tree | 5c22abb9c9cfa9ff5bf142a0a55b40acb6bddbc5 /compiler | |
| parent | 3102f00f8df83f9dbcfd8c87b1bbae5a0aebcb53 (diff) | |
| parent | 5139facb365c40e5b0ddedf221cd62347a2a4504 (diff) | |
| download | rust-870657c08e31404e8dee2ca10174a2558e31e829.tar.gz rust-870657c08e31404e8dee2ca10174a2558e31e829.zip | |
Rollup merge of #147180 - lcnr:forced_ambiguity-error, r=jdonszelmann
add tests fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/105 the index test is for rust-lang/rust#146637 r? types
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs index a2e6ef6f0fe..d58c264841c 100644 --- a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs @@ -473,7 +473,10 @@ where // fails to reach a fixpoint but ends up getting an error after // running for some additional step. // - // cc trait-system-refactor-initiative#105 + // FIXME(@lcnr): While I believe an error here to be possible, we + // currently don't have any test which actually triggers it. @lqd + // created a minimization for an ICE in typenum, but that one no + // longer fails here. cc trait-system-refactor-initiative#105. let source = CandidateSource::BuiltinImpl(BuiltinImplSource::Misc); let certainty = Certainty::Maybe { cause, opaque_types_jank: OpaqueTypesJank::AllGood }; self.probe_trait_candidate(source) |