diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-07 13:26:23 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-07 13:26:23 +0100 |
| commit | 7a02cc8845ba4e9e3ec414283c60333143831733 (patch) | |
| tree | 614076ad3ce5cf6c35cccc0828c72e11e53fea50 /.gitignore | |
| parent | 911ef38b24efc3e273f7395578c10e05ceb0cd7b (diff) | |
| parent | f089690a21357ca6d396bce98bf598f0954199b5 (diff) | |
Merge #5679
5679: Account for static mut in missing unsafe diagnostic r=jonas-schievink a=Nashenas88
Accessing or modifying a static mut is an unsafe operation. The "missing unsafe" diagnostic now tracks this.
Co-authored-by: Paul Daniel Faria <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions