diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-24 00:00:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-24 00:00:42 +0200 |
| commit | ff48fc91eea7d7c3d224de054d6a9b47af4a6d18 (patch) | |
| tree | 8cb3d075de16ffb6fc66812299b74476ff1ea38a /library/std/src/sys/unix/stack_overflow.rs | |
| parent | 8970e8bcf6153d1ead2283f1a0ed7b192230eca6 (diff) | |
| parent | 1fad3b7a0535c4a4da046170d4080e0cd214ee42 (diff) | |
| download | rust-ff48fc91eea7d7c3d224de054d6a9b47af4a6d18.tar.gz rust-ff48fc91eea7d7c3d224de054d6a9b47af4a6d18.zip | |
Rollup merge of #71618 - ecstatic-morse:issue-71394, r=nikomatsakis
Preserve substitutions when making trait obligations for suggestions Resolves #71394. I *think* `map_bound_ref` is correct here. In any case, I think a lot of the diagnostic code is using `skip_binder` more aggressively than it should be, so I doubt that this is worse than the status quo. The assertion that `new_self_ty` has no escaping bound vars should be enough. r? @estebank cc @nikomatsakis Is the call to `skip_binder` on line 551 (and elsewhere in this file) appropriate? https://github.com/rust-lang/rust/blob/46ec74e60f238f694b46c976d6217e7cf8d4cf1a/src/librustc_trait_selection/traits/error_reporting/suggestions.rs#L537-L565
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions