diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-03-12 17:59:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-12 17:59:06 +0100 |
| commit | d55e2e43338c2aa2612f6ee7c868cd49849add6c (patch) | |
| tree | c01d71fc5f6ae6ec79bee0c53c3ac063b29a4273 /compiler/rustc_infer/src/lib.rs | |
| parent | 0998d4095b0f11061f78a3f9c77a87838a4c1cb7 (diff) | |
| parent | 18809a2b123752d904a9487117665115b404a513 (diff) | |
| download | rust-d55e2e43338c2aa2612f6ee7c868cd49849add6c.tar.gz rust-d55e2e43338c2aa2612f6ee7c868cd49849add6c.zip | |
Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors
change definitely unproductive cycles to error builds on top of #136824 by adding a third variant to `PathKind` for paths which may change to be coinductive in the future but must not be so right now. Most notably, impl where-clauses of not yet coinductive traits. With this, we can change cycles which are definitely unproductive to a proper error. This fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/114. This does not affect stable as we keep these cycles as ambiguous during coherence. r? ````````@compiler-errors```````` ````````@nikomatsakis````````
Diffstat (limited to 'compiler/rustc_infer/src/lib.rs')
0 files changed, 0 insertions, 0 deletions