encode and decode predicates and constraints via dwarf #43
Comments
|
WONTFIX (not required for bootstrapping) |
ghost
mentioned this issue
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
limit stack size, memory size and execution time
dlrobertson
pushed a commit
to dlrobertson/rust
that referenced
this issue
Nov 29, 2018
Fix broken Unstable Book link.
bors bot
referenced
this issue
in softdevteam/alloy
Apr 29, 2021
43: Remove old feature flag from build script r=ltratt a=jacob-hughes This should have been removed as part of 092f64. Co-authored-by: Jake Hughes <[email protected]>
bors
pushed a commit
to rust-lang-ci/rust
that referenced
this issue
Oct 1, 2021
Document size/align of SIMD types
teh-cmc
added a commit
to rerun-io/rerun
that referenced
this issue
Sep 22, 2023
A trivial PR to enforce the formatting of TODOs. This is groundwork for an upcoming PR that checks for zombie TODOs on CI (TODOs that reference an issue that is already fixed). TL;DR: these are legal, everything else is not (hopefully): - `TODO(bob)` - `TODO(bob, alice)` - `TODO(#42)` - `TODO(#42, #43)` - `TODO(rust-lang/rust#42)` - `TODO(rust-lang/rust#42, rust-lang/rust#43)`
jaisnan
pushed a commit
to jaisnan/rust-dev
that referenced
this issue
Oct 15, 2024
Exercise all public member functions of `Layout` and assert properties over the result. Some of those should, perhaps, become `ensures` clauses. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Celina G. Val <[email protected]>
This issue was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently nothing about the typestate system passes through the crate metadata
we emit for dwarf. Implement this.
The text was updated successfully, but these errors were encountered: