diff options
| author | Michael Goulet <michael@errs.io> | 2024-10-15 14:58:41 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-10-15 14:58:54 -0400 |
| commit | 68885216b63f6e75e50b4c0f3c7250ca4ac7afda (patch) | |
| tree | 0a24c6294ea8f50aaf76c96a0ddf37aa4a83dc08 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | a0c2aba29aa9ea50a7c45c3391dd446f856bef7b (diff) | |
| download | rust-68885216b63f6e75e50b4c0f3c7250ca4ac7afda.tar.gz rust-68885216b63f6e75e50b4c0f3c7250ca4ac7afda.zip | |
Don't report bivariance error when nesting a struct with field errors into another struct
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions