diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-04-27 12:28:24 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-05-22 13:34:38 -0700 |
| commit | 730c6f3e57a4068547d2d08e7a84efea215cd1ee (patch) | |
| tree | 5c5e0693ae9980b7c99ce0b772d23ef6d7ef6ad9 /src/test/debuginfo/enum-thinlto.rs | |
| parent | 215f2d3294b08dbdcf8f7d40de21ef1e7eae0a2d (diff) | |
| download | rust-730c6f3e57a4068547d2d08e7a84efea215cd1ee.tar.gz rust-730c6f3e57a4068547d2d08e7a84efea215cd1ee.zip | |
Preserve substitutions when trying to prove trait obligation
`mk_obligation_for_def_id` is only correct if the trait and self type do not have any substitutions. Use a different method, `mk_trait_obligation_with_new_self_ty` that is more clear about what is happening.
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions