diff options
| author | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2020-04-12 04:24:25 +0300 |
|---|---|---|
| committer | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2020-04-16 19:00:30 +0300 |
| commit | d7c4081b18fbf50f2d260ea893b659aec0b1d84a (patch) | |
| tree | 76d84766b5e8784ad5baa65ad2c5e2e240ae8e9c /src/librustc_error_codes/error_codes | |
| parent | e22d4795d849d2c6a229ccb666db922ae5b76410 (diff) | |
mir/interpret: only use `ErrorHandled::Reported` for `ErrorReported`.
Diffstat (limited to 'src/librustc_error_codes/error_codes')
0 files changed, 0 insertions, 0 deletions