[META] causes of diverging dictionary expressions

Open
#2 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
30/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Quiet
Tech stack
rust
Domain
compilers

Research direction

No files, tests, or entry points are named. Start by reading #1 and the two referenced Rust issues, then investigate how diverging dictionary expressions can arise, including unproductive cycles. Done means documenting the complete set of causes needed to guide soundness detection.

Written by the indexing model from the issue text.

Description

It took me a while to realize that trait resolution being turing complete does not mean that the resulting dictionary expressions have to also be so.

With this in mind, we currently plan to detect diverging meta-language expressions for soundness. What are all the ways with which we can build diverging dictionary expressions.

  • #1
  • unproductive cycles

References

Dominant language
No language data
Stars
3
Forks
0
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from rust-lang/project-dictionary-passing

All issues in rust-lang/project-dictionary-passing

Similar issues

More Compilers issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.