diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-02-14 18:24:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-14 18:24:42 +0100 |
| commit | edcdab08a4da70c5d306d1203d04f039193dce7d (patch) | |
| tree | 06f08ea292b71b5c25fe2d711d11cf5b30216b0b /compiler/rustc_codegen_llvm/src | |
| parent | 7e0127b2aee220222c044aa55039e45a6be7be87 (diff) | |
| parent | a2f03037b40c9c20a46020f7760ebab9e0736900 (diff) | |
| download | rust-edcdab08a4da70c5d306d1203d04f039193dce7d.tar.gz rust-edcdab08a4da70c5d306d1203d04f039193dce7d.zip | |
Rollup merge of #108033 - lcnr:coinductive-attr, r=compiler-errors
add an unstable `#[rustc_coinductive]` attribute useful to test coinduction, especially in the new solver. as this attribute should remain permanently unstable I don't think this needs any official approval. cc ``@rust-lang/types`` had to weaken the check for stable query results in the solver to prevent an ICE if there's a coinductive cycle with constraints. r? ``@compiler-errors``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions