about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/constructor.rs
diff options
context:
space:
mode:
authorAli MJ Al-Nasrawy <alimjalnasrawy@gmail.com>2023-12-15 10:58:23 +0300
committerGitHub <noreply@github.com>2023-12-15 10:58:23 +0300
commit578758ae0449370d176bb26b09d4fbf9148e0b88 (patch)
treed70c157a29ceac60dc92e25dee6bc40f947edb4d /compiler/rustc_pattern_analysis/src/constructor.rs
parent1559dd2dbfd42e72ac05b1d23b85ce5ed63f900b (diff)
parent600438679d2ea06d0284497a42215f2f243fd1d9 (diff)
downloadrust-578758ae0449370d176bb26b09d4fbf9148e0b88.tar.gz
rust-578758ae0449370d176bb26b09d4fbf9148e0b88.zip
Rollup merge of #118927 - celinval:smir-missing-info, r=compiler-errors
Erase late bound regions from `Instance::fn_sig()` and add a few more details to StableMIR APIs

The Instance `fn_sig()` still included a late bound regions which needed a new compiler function in order to be erased. I've also bundled the following small fixes in this PR, let me know if you want me to isolate any of them.

  - Add missing `CoroutineKind::AsyncGen`.
  - Add optional spread argument to function body which is needed to properly analyze compiler shims.
  - Add a utility method to iterate over all locals together with their declaration.
  - Add a method to get the description of `AssertMessage`*.

* For the last one, we could consider eventually calling the internal `AssertKind::description()` to avoid code duplication. However, we still don't have ways to convert `AssertMessage`, `Operand`, `Place` and others, in order to use that. The other downside of using the internal method is that it will panic for some of the variants.

r ? `@ouz-a`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/constructor.rs')
0 files changed, 0 insertions, 0 deletions