diff options
| author | lcnr <rust@lcnr.de> | 2025-02-10 14:45:24 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-02-28 12:16:47 +0100 |
| commit | 46faf4bed643172fd0e04b28d93a3288fa998e99 (patch) | |
| tree | 64cfe05e86f7d433cb8e097f33773fa62574964b /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | cb08599451226d780b2490f1aa9b414fe9e36657 (diff) | |
| download | rust-46faf4bed643172fd0e04b28d93a3288fa998e99.tar.gz rust-46faf4bed643172fd0e04b28d93a3288fa998e99.zip | |
rework cycle handling
A cycle was previously coinductive if all steps were coinductive. Change this to instead considerm cycles to be coinductive if they step through at least one where-bound of an impl of a coinductive trait goal.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions