diff options
| author | Tristan Burgess <tburgessdev@gmail.com> | 2018-08-22 00:02:07 -0400 |
|---|---|---|
| committer | Tristan Burgess <tburgessdev@gmail.com> | 2018-08-22 18:56:16 -0400 |
| commit | 3045ffa512db4fd9745278e43c8e775db2d0d19d (patch) | |
| tree | b3b2e4846e75fec65816200443618575816f3c9b /src/test/incremental/thinlto | |
| parent | b75b0471a8b87c44e0bd953d2a5c36d896128723 (diff) | |
| download | rust-3045ffa512db4fd9745278e43c8e775db2d0d19d.tar.gz rust-3045ffa512db4fd9745278e43c8e775db2d0d19d.zip | |
52985: better cycle error for existential types
- Original cycle error diagnostics PR'd against this issue caught
panic-causing error while resolving std::mem::transmute calls
- Now, catch invalid use case of not providing a concrete sized type
behind existential type in definining use case.
- Update relevant test to reflect this new error
52985: revert normalize query changes
- PR 53588 invalidates 53316, causing a correct cycle error to occur
with a good span.
- Don't need to revert the whole merge as the test files are
still fine, just need to revert the normalize query changes.
- It should now be correct that infinite recursion detected during
normalize query type folding is a bug, should have been caught earlier
(when resolving the existential type's defining use cases).
52985: code review impl
- Only cause cycle error if anonymous type resolves to anonymous type
that has the same def id (is the same type) as the original (parent)
type.
- Add test case to cover this case for existential types.
52985: remove Ty prefix from TyAnon
- To align with changes per commit 6f637da50c56a22f745fd056691da8c86824cd9b
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions
