diff options
| author | varkor <github@varkor.com> | 2018-01-19 19:58:46 +0000 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2018-01-19 19:58:46 +0000 |
| commit | 768cbbcd9e21c75565dad4714346b0d0028d331c (patch) | |
| tree | 204d0a40a21849404cb3964c504b3302ad1e00dc /src/rustllvm/RustWrapper.cpp | |
| parent | 3bd4af88bea2e6ecdd3455ed89b3ef1fc3500aa4 (diff) | |
Fix type inhabitedness check for arrays
Arrays of uninhabited types were considered to also be uninhabited if their length had not been evaluated, causing unsoundness.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions