diff options
| author | David Wood <david@davidtw.co> | 2018-11-22 20:35:24 +0100 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-12-30 14:25:25 +0100 |
| commit | f2532012dd51914f8cf27ba79cf0e4999761c9b4 (patch) | |
| tree | edd7dbb77e21f8ced4d1f7b99392e1a787e159cd /src/test/incremental/thinlto | |
| parent | 24a7a010d1015731418852d893d889f4bcbdeb51 (diff) | |
| download | rust-f2532012dd51914f8cf27ba79cf0e4999761c9b4.tar.gz rust-f2532012dd51914f8cf27ba79cf0e4999761c9b4.zip | |
Always check well-formedness.
This commit uses the map introduced by the previous commit to ensure that types are always checked for well-formedness by the NLL type check. Previously, without the map introduced by the previous commit, types would not be checked for well-formedness if the `AscribeUserType` statement that would trigger that check was removed as unreachable code.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions