diff options
| author | Paul Daniel Faria <[email protected]> | 2020-05-24 21:24:36 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:10:26 +0100 |
| commit | 278cbf12cd0f76fc191d5ce7f130e6245596a578 (patch) | |
| tree | 7c00307fbef82b45cbd0072a45819ea962bf8900 /editors | |
| parent | 3df0f9ce7e6eea48b67dae8b26e83aa7bd36ff24 (diff) | |
Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe exprs within unsafe block
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions