-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes found when experimenting with Lemmy (#166)
## What Changed? This PR contains a series of fixes for bugs in new features found when using the new Paralegal version on an unhacked Lemmy. - Support `fn`'s in `sub-closure` stubs - Adds strategic overtaint for stubs to avoid crashes and to recognize that the return value isn't used exactly as returned from the closure. The type of overtaint is a loss of field level precision. - External markers, the build config as well as the `include` and `analyze` argument now contribute to the hash used to control recompilation - Added handling for `InstanceDef::FnOnceShim` - Renames `flow-models` to `stubs` - Applies stubs in marker discovery - Fixes ordering of `shortest_path` - Ensure we check marker reachability in non-crate-local functions too. ## Why Does It Need To? Fixes bugs. Makes the names consistent. What we called "flow models" here are more like stubs. ## Checklist - [x] Fix `shortest_path` ordering - [x] Above description has been filled out so that upon quash merge we have a good record of what changed. - [x] New functions, methods, types are documented. Old documentation is updated if necessary - [ ] Documentation in Notion has been updated - [ ] Tests for new behaviors are provided - [ ] New test suites (if any) ave been added to the CI tests (in `.github/workflows/rust.yml`) either as compiler test or integration test. *Or* justification for their omission from CI has been provided in this PR description.
- Loading branch information
1 parent
abb1bb1
commit c52fc5c
Showing
23 changed files
with
2,027 additions
and
403 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.