diff options
| author | lcnr <rust@lcnr.de> | 2025-09-30 12:02:43 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-09-30 12:02:43 +0200 |
| commit | 5139facb365c40e5b0ddedf221cd62347a2a4504 (patch) | |
| tree | 3fc1437eeb6e63ebaf45d983abac0b1d8c13b814 /compiler | |
| parent | a2db9280539229a3b8a084a09886670a57bc7e9c (diff) | |
| download | rust-5139facb365c40e5b0ddedf221cd62347a2a4504.tar.gz rust-5139facb365c40e5b0ddedf221cd62347a2a4504.zip | |
add tests
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) |